资源描述：
《基于分层Petri网的面向服务需求求精》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。
1、第40卷第6期浙江大学学报(工学版)Vol.40No.62006年6月JournalofZhejiangUniversity(EngineeringScience)Jun.2006基于分层Petri网的面向服务需求求精沈斌,姚敏,易文晟,原博(浙江大学计算机科学与技术学院,浙江杭州310027)摘要:为了使结构化面向对象形式语言(SOFL)适应面向服务的软件架构,提出了一种用于面向服务架构软件需求求精的新方法.使用分层Petri网进行建模,利用顺序图对消息传递进行分析,采用SOFL对非形式化和半形
2、式化的系统描述逐步求精.讨论了基于分层Petri网的Web服务,定义了分层服务网、分层Web服务相关概念,描述了用于Web服务软件需求的分析、设计和建模完整过程,并给出了旅游服务中该过程的具体实例.实例分析表明,该方法适宜Web服务分析建模,可帮助用户实现不同粒度Web服务.该方法有助于对面向服务环境下软件需求求精和验证的探索.关键词:Web服务;软件需求求精;分层Petri网;SOFL方法;顺序图中图分类号:文献标识码:A文章编号:1008973X(2006)06104506Hierarchic
3、alPetrinetsbasedsoftwarerequirementrefinementforWebserviceSHENBin,YAOMin,YIWen2sheng,YUANBo(CollegeofComputerScienceandTechnology,Zhejianguniversity,Hangzhou310027,China)Abstract:Tosatisfytheservice2orientedarchitectureofsoftwareforstructuredobject2or
4、ientedformallan2guage(SOFL),anewservice2orientedsoftwarerequirementrefinementmethodwasproposed.AfterthearchitecturewasmodeledusinghierarchicalPetrinet,messagetransmissionwasanalyzedadoptingse2quencediagram,andinformalandsemi2formalsystemdescriptionswe
5、rerefinedusingSOFLstepbystep.hierarchicalPetrinetsbasedwebservicewasdiscussed,andthecorrespondingconceptsofhierarchicalservicenetandhierarchicalwebserviceweredefined.Thewholeanalysis,designandmodelingprocessofwebservicesoftwarerequirementusingthepropo
6、sedmethodwasdescribed,andanillustrationoftravelserviceforexplainingthisprocesswasgiven.Resultsshowthatthemethodcanfitwebservicearchitec2ture,andhelpusersrealizewebserviceofvariousgranularities.Themethodisquiteusefulforexploringsoftwarerequirementrefin
7、ementandreviewinservicecircumstance.Keywords:webservice;softwarerequirementrefinement;hierarchicalPetrinets;SOFLmethod;se2quencediagram在软件需求工程中,完整而精确地把握用户的步进化和求精的过程.当前,已有不少形式化的面向需求成为设计良好软件的基础.用户需求描述了用模型的方法,用于系统而完整地把握用户的需求,如户对软件的期望,指出了软件需要完成和提供的部维也纳开发方
8、法(viennadevelopmentmethod,分,是整个软件工程的起点.但用户需求经常是不精VDM)、Z方法、B方法、结构化面向对象形式语言确、不完整或不一致的,因此存在一个反复定义、逐(structuredobjected2orientedformallanguage,收稿日期:20050620.浙江大学学报(工学版)网址:www.journals.zju.edu.cn/eng基金项目:高等学校博士点基金资助项目(20040335129);浙江省自然科学基金重点资助项目(Z
