基于分层Petri网的面向服务需求求精  

Hierarchical Petri nets based software requirement refinement for Web service

作　　者：沈斌[1] 姚敏[1] 易文晟[1] 原博[1] 

机构地区：[1]浙江大学计算机科学与技术学院,浙江杭州310027

出　　处：《浙江大学学报（工学版）》2006年第6期1045-1050,共6页Journal of Zhejiang University：Engineering Science

基　　金：高等学校博士点基金资助项目(20040335129);浙江省自然科学基金重点资助项目(Z104267)

摘　　要：为了使结构化面向对象形式语言(SOFL)适应面向服务的软件架构,提出了一种用于面向服务架构软件需求求精的新方法.使用分层Petri网进行建模,利用顺序图对消息传递进行分析,采用SOFL对非形式化和半形式化的系统描述逐步求精.讨论了基于分层Petri网的Web服务,定义了分层服务网、分层Web服务相关概念,描述了用于Web服务软件需求的分析、设计和建模完整过程,并给出了旅游服务中该过程的具体实例.实例分析表明,该方法适宜Web服务分析建模,可帮助用户实现不同粒度Web服务.该方法有助于对面向服务环境下软件需求求精和验证的探索.To satisfy the service-oriented architecture of software for structured object-oriented formal language （SOFL）, a new service-oriented software requirement refinement method was proposed. After the architecture was modeled using hierarchical Petri net, message transmission was analyzed adopting sequence diagram, and informal and semi-formal system descriptions were refined using SOFL step by step. hierarchical Petri nets based web service was discussed, and the corresponding concepts of hierarchical service net and hierarchical web service were defined. The whole analysis, design and modeling process of web service software requirement using the proposed method was described, and an illustration of travel service for explaining this process was given. Results show that the method can fit web service architecture,and help users realize web service of various granularities. The method is quite useful for exploring software requirement refinement and review in service circumstance.

关 键 词：WEB服务 软件需求求精 分层Petri网 SOFL方法 顺序图 

分 类 号：TP393[自动化与计算机技术—计算机应用技术] TP311.52[自动化与计算机技术—计算机科学与技术]