×
肯·卡内瓦;肯·佐藤

关于受限UML类图一致性检查的复杂性。 （英语） Zbl 1186.68052号

理论。计算。科学。 411，第2号，301-323（2010）.
摘要：UML类图的自动调试有助于软件系统的可视化规范，因为用户无法轻松检测逻辑一致性中的错误。本研究的重点是UML类图的易处理一致性检查。我们通过将这些图转换为一阶谓词逻辑来准确识别这些图中的不一致性，谓词逻辑是通过计算量词来概括的，并通过消除某些组件来对其表达进行分类。我们引入优化算法，计算P、NP、PSPACE或EXPTIME中不同表达能力的类图相对于类图大小的一致性。特别是，由于对属性值类型的限制，类图一致性检查的复杂性在两种情况下从EXPTIME降低到P和PSPACE：（i）当类图包含不相交约束和覆盖/多重继承时；以及（ii）当类图包含这两个组件以及完整性约束时。此外，我们确认存在防止任何逻辑不一致的类图限制。

引用于1文件

MSC公司：

68米15 网络和计算机系统的可靠性、测试和容错
68N99型 软件理论

关键词：

UML类图的易处理一致性检查
PDF格式BibTeX公司 XML格式引用
\textit{K.Kaneiwa}和\textit{K.Satoh}，Theor。计算。科学。411，第2号，301-323（2010；Zbl 1186.68052）
全文： 内政部

参考文献：

[1] Artale，A。；Calvanee，D。；康查科夫，R。；里日科夫，V。；Zakharyaschev，M.，《扩展er模型的推理》，（第26届国际概念建模大会议事录，第26届概念建模国际会议议事录，LNCS，第4801卷（2007），Springer），277-292
[2] B.Beckert，U.Keller，P.H.Schmitt，《将对象约束语言翻译成一阶谓词逻辑》，载《验证程序》，联邦逻辑会议研讨会，FLoC，2002年，第113-123页；B.Beckert，U.Keller，P.H.Schmitt，《将对象约束语言翻译成一阶谓词逻辑》，载《验证程序》，联邦逻辑会议研讨会，FLoC，2002年，第113-123页
[3] Berardi，D。；Calvanee，D。；De Giacomo，G.，UML类图推理，人工智能，168，1-2，70-118（2005）·Zbl 1132.68747号
[4] Donini，F.M.，推理的复杂性，（《描述逻辑手册》（2003）），96-136
[5] 多尼尼，F.M。；马萨奇，F.，ALC的EXPTIME表格，人工智能，124，1，87-138（2000）·Zbl 0952.68136号
[6] A.S.Evans，用UML类图进行推理，收录于：IEEE第二次工业强度形式规范技术研讨会论文集，WIFT'98，美国，1998年，第102-113页；A.S.Evans，用UML类图进行推理，摘自：IEEE第二届工业强度形式规范技术研讨会论文集，WIFT'98，美国，1998年，第102-113页
[7] Fowler，M.，（UML提取：标准建模对象语言简要指南。UML提取：对象技术系列（2003年9月），Addison-Wesley）
[8] E.Franconi，G.Ng，智能概念建模的i.com工具，摘自：《第七届知识表示与数据库国际研讨会论文集》，KRDB 2000年，2000年，第45-53页；E.Franconi，G.Ng，智能概念建模的i.com工具，摘自：《第七届知识表示与数据库国际研讨会论文集》，KRDB 2000年，2000年，第45-53页
[9] Kaneiwa，K。；Satoh，K.，受限UML类图的一致性检查算法，（第四届信息和知识系统基础国际研讨会论文集。第四届信息和知识系统基础国际研讨会论文集，FoIKS 2006。第四届信息和知识系统基础国际研讨会论文集。第四届信息和知识系统基础国际研讨会论文集，FoIKS 2006，LNCS，第3861卷（2006），Springer-Verlag），219-239·Zbl 1177.68047号
[10] Kolaitis，P.G。；Väänänen，J.A。，有限结构上的广义量词和卵石游戏，《纯粹和应用逻辑年鉴》，74，1，23-75（1995）·兹伯利0826.03017
[11] Mannila，H。；Räihä，K.-J.，《关于推断函数依赖的复杂性》，《离散应用数学》，40，2，237-243（1992）·Zbl 0767.68034号
[12] 伦博，J。；雅各布森，I。；Booch，G.，《统一建模语言参考手册》（The Unified Modeling Language Reference Manual）（1999），美国马萨诸塞州艾迪森·韦斯利出版社
[13] Schewe，K.-D。；Thalheim，B.，面向对象数据库的基本概念，《计算机学报》，11，1-2，49-84（1993）·Zbl 0804.68034号
[14] A.Tsiolakis，H.Ehrig，使用属性图gammars进行UML类和序列图之间的一致性分析，收录于：APPLIGRAPH/GETGRATS图形转换系统联合研讨会论文集，2000年，第77-86页；A.Tsiolakis，H.Ehrig，使用属性图gammars进行UML类图和序列图之间的一致性分析，收录于：APPLIGRAPH/GETGRATS图形转换系统联合研讨会论文集，2000年，第77-86页
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。