论文部分内容阅读
UML已成为面向对象的软件分析和设计的事实上的标准。UML是一个可视化的语言，包含了一集图形化的设计工具。其中的静态图用于描述系统的结构，动态图用于描述系统的行为。
UML支持从需求分析开始的整个建模过程，支持用户从多种不同角度描述一个系统。描述一个系统的各种视图模型之间存在着约束和协作关系，因此，它们之间就必然存在一致性问题。在大型软件项目的开发过程中，软件系统各模型之间的协作关系和约束关系错综复杂，仅仅依靠建模者以人工方式去保证模型间的一致性，不仅非常烦琐，而且很难避免有所遗漏。
本文分析了UML中的一致性问题，描述了类图、状态图、顺序图之间的静态的一致性检查算法。在这些分析的基础上，我们开发了一个UML的一致性检查工具，并把它嵌入到UML建模系统工具MagicDraw中。我们开发的工具能够自动检查UML模型里的一些一致性问题。