[论文解读] Semantic integration of UML class diagram with semantic validation on segments of mappings

Hicham Elasri, Elmustapha Elabbassi+2 more|arXiv (Cornell University)|Jan 13, 2018

Service-Oriented Architecture and Web Services参考文献 9被引用 3

一句话总结

本文提出一种基于对齐映射的语义集成方法，用于UML类图，通过映射段的语义验证确保一致性。通过在集成过程中验证模型元素之间的关系，该方法生成一个连贯且无错误的统一模型，从而提升分布式软件开发团队的协作效率。

ABSTRACT

Recently, attention has focused on the software development, specially by differ-ent teams that are geographically distant to support collaborative work. Manage-ment, description and modeling in such collaborative approach are through sever-al tools and techniques based on UML models. It is now supported by a large number of tools. Most of these systems have the ability to compare different UML models, assist developers, designers and also provide operations for the merging and integration, to produce a coherent model. The contribution in this ar-ticle is both to integrate a set of UML class diagrams using mappings that are re-sult of alignment and assist designers and developers in the integration. In addi-tion, we will present a detail integration of UML models with the validation of mappings between them. Such validation helps to achieve correct, consistent and coherent integrated model.

研究动机与目标

• 解决在分布式软件开发环境中，从多个团队集成UML类图的挑战。
• 通过自动对齐和映射技术，实现UML模型的准确且一致的集成。
• 通过验证对应元素之间的映射，确保集成模型的语义正确性。
• 为开发人员和设计人员提供一个可靠、连贯且一致的统一模型，该模型源自异构的UML图。
• 减少因手动合并或仅基于语法的对齐而导致的集成错误和不一致性。

提出的方法

• 应用对齐技术，识别多个UML类图之间元素的对应关系。
• 在图中的对应类、属性和关联之间生成语义映射。
• 使用预定义的语义规则和约束，验证这些映射的语义一致性。
• 通过正式的验证过程，在模型集成前检测并解决映射中的不一致问题。
• 将经过验证的映射整合到一个单一的、统一的UML类图中，以保持语义完整性。
• 利用现有的UML建模工具和标准，确保集成流程中的兼容性和互操作性。

实验结果

研究问题

• RQ1 如何对来自多个源的UML类图进行语义集成，以确保模型的一致性？
• RQ2 哪些机制可以验证对应模型元素之间映射的语义正确性？
• RQ3 语义验证在多大程度上减少了集成UML模型中的不一致性？
• RQ4 如何通过语义检查增强基于对齐的映射，以提高集成的可靠性？
• RQ5 语义验证对最终集成模型的连贯性和正确性有何影响？

主要发现

• 所提出的方法通过经过验证的映射，成功地将多个UML类图集成到一个单一且连贯的模型中。
• 与仅基于语法的集成相比，语义验证显著减少了集成模型中的不一致性和错误。
• 验证过程有效检测并解决了源图中对应元素之间的语义不匹配。
• 该方法通过确保模型的完整性和一致性，增强了分布式开发团队之间的协作。
• 该集成过程具有鲁棒性，支持在实际软件工程工作流中使用UML工具的实用场景。