资源描述：
《基于代数的软件过程建模系统的设计与实现》由会员上传分享，免费在线阅读，更多相关内容在工程资料-天天文库。
1、栏目：计算机软件基于代数的软件过程建模系统的设计与实现1,21,21,21杨国伟，杨秋松，翟健，袁峰（1.中国科学院软件研究所互联网软件技术实验室,北京100080；2.中国科学院研究生院,北京100039）摘要：软件过程建模的主要目的是建立组织内软件开发过程的模型，使得软件开发过程在整个组织内获得一致的理解，进而提高软件开发效率和改进软件生产质量。软件过程建模语言一方面要易于理解、具有较强的表达能力，同时也要易于分析和验证，以保证所要描述的软件过程的正确性。介绍了基于代数的软件过程建模系统ASPMS（Algebra-basedSoftwareProces
2、sModelingSystem）的设计和实现，该系统提供了图形化的建模表示方式，而该图形化表示方式具有基于多元π演算的形式化语义，从而较好地平衡了建模语言的易于理解、具有较强的表达能力和易于分析和验证这一矛盾的内在要求。关键词：软件过程建模;多元π演算;ASPMS系统;形式化分析;验证中图法分类号：TP311文献标识码：ADesignandImplementationofAlgebra-basedSoftwareProcessModelingSystem1,21,21,21YANGGuo-wei,YANGQiu-song,ZHAIJian,YUANFeng
3、(1.LabforInternetSoftwareTechnologies,InstituteofSoftware,ChineseAcademyofSciences,Beijing100080,China;2.GraduateUniversityoftheChineseAcademyofSciences,Beijing100039,China)Abstract:Themainpurposeofsoftwareprocessmodelingistoestablishasoftwareprocessmodelinanorganization,soastoach
4、ieveacommonunderstandingaboutthesoftwaredevelopmentprocessthroughouttheorganization,therebyimprovingtheefficiencyofsoftwaredevelopmentandsoftwareproductquality.Agoodmodelinglanguageshouldbecomprehensibleand,atthesametime,haveapowerfulexpressivenesstodescribetheinherentcomplicateds
5、oftwareprocesses.Itisalsorequiredtobeanalyzabletoensurethecorrectnessofsoftwareprocesses.Inthispaper,thedesignandimplementationofanAlgebra-basedSoftwareProcessModelingSystem(ASPMS)isintroduced.InASPMS,asoftwareprocesscanbeefficientlymodeledinagraphicalsyntaxwithaformalsemanticsbas
6、edonthepolyadicπ-calculus.Inadditiontoprovidingagraphicalinterface,itstrikesabetterbalancebetweentheexpressivenessandanalyzabilityofprocessmodelinglanguages.Keywords:softwareprocessmodeling;polyadicπ-calculus;ASPMS;formalanalysis;verification0引言软件过程建模经过多年的发展，产生了很多建模方法和相应的建模工具。对于软件
7、过程而言，一方面软件过程面向整个组织，需要相应的建模语言易于理解、具有较强的表达能力；另一方面，软件过程定义了实现特定效率、质量以及商业目标的所采取的步骤和工作方式，对于一个开发组织的正常运行具有至关重要的作用，需要相应的建模语言易于分析和验证，以保证所描述的软件过程的正确性。现有的软件过程建模方法主要强调软件过程的可理解性、可执行性，并对其提供不同程度的支持，而对软件过程的正确性分析和验证方面的支持较少。本文介绍了基于代数的软件过程建模系统ASPMS(Algebra-basedSoftwareProcessModelingSystem)，过程建模人员可以
8、借助ASPMS方便地进行图形化建模，然后将图形化的过程模型转换成形
