协同状态网及其在软件建模和分析中的应用

摘要：

软件建模是软件活动的根本任务和模型驱动开发过程的核心,软件工程界一直追寻“银弹”式的软件建模方法.在分析现有软件建模方法的基础上,提出了协同状态网,以实现对软件系统的静态和动态特征描述.首先给出了协同状态网的形式化定义、图形化表示以及相关概念解释.以锅炉控制软件系统为例,详细说明了模型构造算法、模型可靠性分析方法.阐述了协同状态网在软件建模与实现等方面的一些优点,如便于理解,一个模型描述静动态特征,模型可分析可执行,可视化和一致性较好等.

关键词：协同状态网、软件建模、模型驱动开发

所属期刊栏目：40

分类号：TP311.5(计算技术、计算机技术)

在线出版日期：2013-04-16（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：238-243