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

作     者：沈斌 姚敏 易文晟 原博 SHEN Bin;YAO Min;YI Wen-sheng;YUAN Bo

作者机构：浙江大学计算机科学与技术学院浙江杭州310027 

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

出 版 物：《浙江大学学报（工学版）》 (Journal of Zhejiang University：Engineering Science)

年 卷 期：2006年第40卷第6期

页      码：1045-1050页

摘      要：为了使结构化面向对象形式语言(SOFL)适应面向服务的软件架构,提出了一种用于面向服务架构软件需求求精的新方法.使用分层Petri网进行建模,利用顺序图对消息传递进行分析,采用SOFL对非形式化和半形式化的系统描述逐步求精.讨论了基于分层Petri网的Web服务,定义了分层服务网、分层Web服务相关概念,描述了用于Web服务软件需求的分析、设计和建模完整过程,并给出了旅游服务中该过程的具体实例.实例分析表明,该方法适宜Web服务分析建模,可帮助用户实现不同粒度Web服务.该方法有助于对面向服务环境下软件需求求精和验证的探索.

主 题 词：Web服务 软件需求求精 分层Petri网 SOFL方法 顺序图 

学科分类：12[管理学] 1201[管理学-管理科学与工程类] 08[工学] 0835[0835] 081201[081201] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3785/j.issn.1008-973X.2006.06.026

馆 藏 号：203881289...