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

• 作者: 原博 姚敏 易文晟 沈斌
• 来源期刊: 浙江大学学报（工学版）
• 学科: 工学
• 关键词: Web服务 软件需求求精 分层Petri网 SOFL方法 顺序图
• 年，卷（期）: 2006,（6）
• 所属期刊栏目: 自动化技术、计算机技术
• 页码范围: 1045-1050
• 页数: 6页
• 分类号: TP3
• 字数: 4952字
• 语种: 中文
• DOI: 10.3785/j.issn.1008-973X.2006.06.026

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	原博	浙江大学计算机科学与技术学院	3	13	2.0	3.0
2	姚敏	浙江大学计算机科学与技术学院	56	694	14.0	25.0
3	沈斌	浙江大学计算机科学与技术学院	27	189	7.0	13.0
4	易文晟	浙江大学计算机科学与技术学院	5	25	3.0	5.0