一种支持软件体系结构模型检查的可视化构件交互建模工具的设计与实现

摘要

随着软件技术的不断发展,软件系统的复杂性、多变性不断提高,为了满足软件体系结构的正确性要求,仅有系统静态结构信息的描述方法不足以满足这种需求,因此需要在软件体系结构层次对系统行为进行建模。另一方面,为了使用户能够方便地进行体系结构行为建模,同时通过模型检查方法支持自动的正确性分析与验证,需要从工具上加以支持。本文提出了体系结构层次描述系统行为及约束的构件交互模型,并基于UML顺序图给出了表示法及其语义;其次,本文设计并实现了对应的可视化工具,并集成了已有的模型检查器;最后,本文通过实例展示了该工具在软件体系结构设计与验证中的应用。