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

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

Cooperative-state Network and its Application in Software Modeling and Analysis

Software modeling is a fundamental task of software activities and the core of model driven development process. The "Silver Bullet" type of software modelling is been pursued in software engineering. Based on the analysis of existing software modeling methods, the cooperative-state network was presented to achieve static and dynamic characterization of software system. First, the formal definition, graphical representation and interpretation of related concepts of cooperative-state network were given. Taking a Boiler control software system as example, the model construction algorithm and model reliability analysis were presented in detail. And also, some advantages of cooperativcstate network in software modeling and implementation were described,including easy understanding,one model describing the whole static and dynamic characteristics, executable, analysable, better visualization and consistency, etc.