Event-Driven Inconsistency Detection Between UML Class and Sequence Diagrams
Luan Lazzari and Kleinner Farias
建模是软件工程中一项核心且要求很高的活动,需要抽象、一致性维护和精确通信等技能。 这些技能很难掌握,甚至更难有效教学。 教育工作者和学生经常难以理解和管理建模过程中出现的不一致。 为了应对这一挑战,我们介绍了一个集成为Papyrus建模环境插件的工具,旨在自动检测和报告UML模型中的不一致,包括类和序列图。 该工具采用事件驱动的架构,可持续监控建模操作,并实时通知用户新出现的不一致之处。 这种方法增强了对模型完整性的认识,并支持对设计工件的迭代改进。 本文介绍了Harmony Validator的架构、检测机制和使用场景。 它还包括与软件工程课程的学生进行的案例研究,以评估UML建模在教学和学习中的有用性和益处。 我们的结果表明,Harmony Validator促进了对模型一致性的更好理解,并促进了软件建模教育中的反思性学习实践。
Modeling is a central and demanding activity in software engineering that requires skills such as abstraction, consistency maintenance, and precise communication. These skills are difficult to master and even harder to teach effectively. Educators and students often struggle to understand and manage inconsistencies that arise during the modeling process. To address this challenge, we present , a tool integrated as a plugin for the Papyrus modeling environment, designed to automatically detect an...