文章基本信息

标题：Refactoring Informations Systems
本地全文：下载
作者：Michael Löwe ; Harald König ; Michael Peters 等
期刊名称：Electronic Communications of the EASST
电子版ISSN：1863-2122
出版年度：2007
卷号：3
语种：English
出版社：European Association of Software Science and Technology (EASST)
摘要：We present our formal framework for the refactoring of complete information systems, i.e., the data model and the data itself. It is described using general and abstract notions of category theory and can handle addition, renaming and removal of model objects as well as folding and unfolding within complete and partial object compositions.