Consistency checking of UML model diagrams using the XML semantics approach

Consistency checking of UML model diagrams using the XML semantics approach
复制标题

DOI：
10.1145/1062745.1062829
复制
发表时间：
2005-05
期刊：
--
影响因子：
--
通讯作者：
Y. Kotb;T. Katayama
Y. Kotb;T. Katayama
中科院分区：
其他
文献类型：
--
作者：
Y. Kotb;T. Katayama

文献摘要

被引文献

相似文献

软件设计通常被建模为统一建模语言（UML）图的集合。许多不同的UML图涵盖了软件系统的不同方面。这导致了系统的整体规范变得不一致和不完整的大风险。这继承了检查这些相关UML图之间的一致性的必要性。此外，随着软件系统的发展，这些图会被修改，这再次导致这些图的不同版本之间可能的不一致和不完整性。在本文中，我们计划采用我们以前的新的XML语义的方法，提出了使用属性语法技术检查XML文档的语义一致性，检查UML图的一致性。这里的关键思想是将UML图转换成等价的XMI文档。然后，通过将这些XMI文档应用到我们以前的XML语义方法中，来检查这些XMI文档的一致性，它们是XML的特殊形式。
A software design is often modeled as a collection of unified Modeling Language (UML) diagrams. There are different aspects of the software system that are covered by many different UML diagrams. This leads for big risk that the overall specification of the system becomes inconsistent and incompleteness. This inherits the necessary to check the consistency between these related UML diagrams. In addition, as the software system gets evolution, those diagrams get modified that leads again to possible inconsistency and incompleteness between the different versions of these diagrams. In this paper, we plan to employ our previous novel XML semantics approach, which proposed for checking the semantic consistency of XML documents using attribute grammar techniques, to check the consistency of UML diagrams. The key idea here is translating the UML diagrams to its equivalent XMI documents. Then checking the consistency of these XMI documents, they are special forms of XML, by employing them to our previous XML semantics approach.