中文摘要：

软件过程建模的主要目的是建立组织内软件开发过程的模型,使得软件开发过程在整个组织内获得一致的理解,进而提高软件开发效率和改进软件生产质量。软件过程建模语言一方面要易于理解、具有较强的表达能力,同时也要易于分析和验证,以保证所要描述的软件过程的正确性。介绍了基于代数的软件过程建模系统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.