×
克里斯托夫·舒尔茨;Löwe，迈克尔;哈拉尔德·科尼格

面向对象系统转换的分类框架：模型和数据。 （英文） Zbl 1211.68259号

J.塞姆。计算。 46，第3号，316-337（2011）.
摘要：信息系统重构很难，原因有二。一方面，存在需要调整的大型数据库。另一方面，许多程序访问这些数据。数据和程序都必须以一致的方式迁移，这样它们的语义就不会改变。本文解决了问题的数据部分，并介绍了一个面向对象结构模型，用类、关联和继承描述模式层，用对象和链接描述实例层。基于谓词的正Horn公式用于表示模式和实例级要遵守的约束，以反映面向对象的结构。同态用于实例级别的类型化以及重构的描述，重构指定了模式元素的添加、折叠和展开。提出了一个分类框架，它允许我们从模式转换中导出实例迁移，从而使旧模式的实例自动迁移到新模式的实例中。回调函子用于展开的自然使用之后是一种初始语义方法：实例迁移是在箭头类别上的共伴随函子的帮助下完成的。

引用于2文件

MSC公司：

68问题65 抽象数据类型；代数规范
18A40型 伴随函子（普遍结构、反射子范畴、Kan扩展等）
68个P01 数据理论的一般主题
60年第68季度 规范和验证（程序逻辑、模型检查等）

关键词：

重构;进化;转型;迁移
PDF格式BibTeX公司 XML格式引用
\textit{C.Schulz}等人，J.Symb。计算。46，第3号，316-337（2011；Zbl 1211.68259）
全文： 内政部

参考文献：

[1] Adámek，J.，Herrlich，H.，Strecker，G.E.，2004年。抽象和具体类别：猫的快乐，自由软件基金会。http://katmat.math.uni-bremen.de/acc/acc.pdf; Adámek，J.，Herrlich，H.，Strecker，G.E.，2004年。抽象和具体类别：猫的快乐，自由软件基金会。http://katmat.math.uni-bremen.de/acc/acc.pdf
[2] Corradini，A.、Dotti，F.L.、Foss，L.、Ribeiro，L.，2004年。将java代码转换为图形转换系统In:ICGT，第383-398页。；Corradini，A.、Dotti，F.L.、Foss，L.、Ribeiro，L.，2004年。将java代码转换为图形转换系统In:ICGT，第383-398页·兹比尔1116.68382
[3] Ehrig，H。；Ehrig，K。；Prange，U。；Taentzer，G.，继承与类型化属性图变换的形式化集成，用于有效的VL定义和模型操作，（VLHCC’05：2005年IEEE视觉语言和以人为中心的计算研讨会论文集（2005），IEEE计算机学会：IEEE计算机协会，华盛顿特区，美国），71-78
[4] Ehrig，H。；Ehrig，K。；Prange，U。；Taentzer，G.，《代数图形变换基础》（2006），施普林格出版社·Zbl 1095.68047号
[5] Ehrig，H。；Mahr，B.，代数规范基础1：方程和初始语义（1985），Springer Verlag·Zbl 0557.68013号
[6] Fowler，M.，《重构：改进现有代码的设计》（1999），Addison-Wesley·Zbl 1020.68632号
[7] Fowler，M.，《企业应用程序架构模式》（2002），Addison-Wesley
[8] 福勒，M。；Scott，K.，《UML提取：标准对象建模语言简要指南》（2003），Addison-Wesley
[9] 伽玛，E。；赫尔姆·R。；约翰逊，R。；Vlissides，J.，《设计模式》（1995），Addison-Wesley Professional
[10] Goldblatt，R.，《托波伊：逻辑的分类分析》（1984），多佛出版社·Zbl 0528.03039号
[11] 2003年，国际标准化组织，ISO/IEC 14882:2003：编程语言-C++，Genf，Schweiz。；2003年，国际标准化组织，ISO/IEC 14882:2003：编程语言-C++，Genf，Schweiz。
[12] Kastenberg，H。；Kleppe，A.G。；Rensink，A.，《使用图形转换定义面向对象的执行语义》（Gorrieri，R。；Wehrheim，H.，第八届IFIP开放对象分布式系统形式化方法国际会议论文集。第八届IFIP开放对象分布式系统形式化方法国际会议论文集，意大利博洛尼亚。第八届IFIP开放对象分布式系统形式化方法国际会议论文集。第八届IFIP开放对象分布式系统形式方法国际会议论文集，意大利博洛尼亚，计算机科学讲义，第4037卷（2006），Springer-Verlag:Springer-Verlag London），186-201·Zbl 1461.68057号
[13] Kastenberg，H.，Kleppe，A.G.，Rensink，A.，2006b。使用图形转换设计面向对象的语义。Twente大学CTIT技术报告06-12。网址：http://www.cs.utwente.nl/kastenbe/papers/taal.pdf；Kastenberg，H.，Kleppe，A.G.，Rensink，A.，2006b。使用图形转换设计面向对象的语义。Twente大学CTIT技术报告06-12。网址：http://www.cs.utente.nl/kastenbe/papers/taal.pdf
[14] König，H。；Löwe，M。；Schulz，C.，重构诱导数据迁移的函数语义，汉诺威FHDW研究所，02007/01，1-26（2007）
[15] Kuno，H.A.，Ra，Y.-G.，Rundensteiner，E.A.，1995年。对象分割技术：一种灵活的对象表示及其评估。密歇根大学技术代表技术报告CSE-TR-241-95。；Kuno，H.A.，Ra，Y.-G.，Rundensteiner，E.A.，1995年。对象分割技术：一种灵活的对象表示及其评估。密歇根大学技术代表技术报告CSE-TR-241-95。
[16] Löwe，M.，2002年。Konstruktive Spezifikation mit Initialer Semantik，柏林理工大学，Forschungsgruppe Theoretische Informatik/Formale Spe齐fikation。；Löwe，M.，2002年。Konstruktive Spezifikation mit Initialer Semantik，柏林理工大学，Forschungsgruppe Theoretische Informatik/Formale Spe齐fikation。
[17] Löwe，M。；König，H。；舒尔茨，C。；Peters，M.，重构信息系统——一个正式框架，《系统学、控制论和信息学杂志》，5，2，66-71（2007）
[18] Löwe，M。；König，H。；舒尔茨，C。；Peters，M.，重构信息系统——处理部分组成，EASST的电子通信，3，1-17（2006）
[19] Mal’cev，A.I.，《代数系统》（1973），施普林格出版社
[20] McLarty，C.，《基本范畴，基本主题》（1995），克拉伦登出版社·Zbl 0828.18001号
[21] 米勒，R.J。；约安尼迪斯，Y.E。；Ramakrishnan，R.，《异构系统中的模式等价：桥接理论与实践》，信息系统，19，1，3-31（1994）
[22] Schulz，C.，2010年。变换对象定向器系统基于auf-algebraischen-Graph-Transformationen，博士论文，柏林科技大学，德国柏林。网址：http://opus.kobv.de/tuberlin/volltexte/2010/2674/; Schulz，C.，2010年。变换对象定向器系统基于auf-algebraischen-Graph-Transformationen，博士论文，柏林科技大学，德国柏林。网址：http://opus.kobv.de/tuberlin/volltexte/2010/2674/
[23] Schulz，C.，Löwe，M.，König，H.，2009年。重构面向对象的系统。在：图形、代数和图片的操作。《纪念汉斯·约格·克鲁斯基60岁生日的论文》，不来梅大学，第321-340页。；Schulz，C.，Löwe，M.，König，H.，2009年。重构面向对象的系统。在：图形、代数和图片的操作。《纪念汉斯·约格·克鲁斯基60岁生日的论文》，不来梅大学，第321-340页。
[24] 舒尔茨，C。；Löwe，M。；König，H.，《面向对象系统转换的分类框架：操作和方法》，EASST的电子通信，26，1-21（2010）
[25] Wechler，W.，《计算机科学家的通用代数》（1992），斯普林格·弗拉格：斯普林格尔·弗拉格柏林，海德堡·Zbl 0748.68002号
[26] Young Gook，R。；Rundensteiner，E.A.，基于面向对象视图技术的透明模式演化系统，IEEE知识与数据工程学报，9，4，600-624（1997）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。