基于代数的软件过程建模系统的设计与实现  

Design and implementation of software process modeling system based on algebra

作　　者：杨国伟[1] 杨秋松[1] 翟健[1] 袁峰[1] 

机构地区：[1]中国科学院软件研究所互联网软件技术实验室

出　　处：《计算机工程与设计》2008年第3期530-534,539,共6页Computer Engineering and Design

基　　金：国家自然科学基金项目(60473060);国家863高技术研究发展计划基金项目(2006AA01Z185)

摘　　要：软件过程建模的主要目的是建立组织内软件开发过程的模型,使得软件开发过程在整个组织内获得一致的理解,进而提高软件开发效率和改进软件生产质量。软件过程建模语言一方面要易于理解、具有较强的表达能力,同时也要易于分析和验证,以保证所要描述的软件过程的正确性。介绍了基于代数的软件过程建模系统ASPMS的设计和实现,该系统提供了图形化的建模表示方式,而该图形化表示方式具有基于多元演算的形式化语义,从而较好地平衡了建模语言的易于理解、具有较强的表达能力和易于分析和验证这一矛盾的内在要求。The main purpose of software process modeling is to establish a software process model in an organization, so as to achieve a common understanding about the software development process throughout the organization, thereby improving the efficiency of software development and software product quality. A good modeling language should be comprehensible and, at the same time, have a powerful expressiveness to describe the inherent complicated software processes. It is also required to be analyzable to ensure the correctness of software processes. The design and implementation of an algebra-based software process modeling system （ASPMS） is introduced. In ASPMS, a software process can be efficiently modeled in a graphical syntax with a formal semantics based on the polyadic π-calculus. In addition to providing a graphical interface, it strikes a better balance between the expressiveness and analyzability of process modeling languages.

关 键 词：软件过程建模 多元演算 ASPMS系统 形式化分析 验证 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]