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

软件过程建模的主要目的是建立组织内软件开发过程的模型,使得软件开发过程在整个组织内获得一致的理解,进而提高软件开发效率和改进软件生产质量.软件过程建模语言一方面要易于理解、具有较强的表达能力,同时也要易于分析和验证,以保证所要描述的软件过程的正确性.介绍了基于代数的软件过程建模系统ASPMS的设计和实现,该系统提供了图形化的建模表示方式,而该图形化表示方式具有基于多元π演算的形式化语义,从而较好地平衡了建模语言的易于理解、具有较强的表达能力和易于分析和验证这一矛盾的内在要求.

Design and implementation of software process modeling system based on algebra

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 soft-ware 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 cor-rectness of software processes.The design and implementation of an algebra-based software process modeling system(ASPMS) is in-troduced.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.