基于顺序图的Web组合服务属性验证

• 作者: 吉顺慧 周宇 李必信
• 来源期刊: 东南大学学报（自然科学版）
• 学科: 工学
• 关键词: Web组合服务 UML建模 模型验证 SPIN
• 年，卷（期）: 2011,（2）
• 页码范围: 305-311
• 分类号: TP311
• 字数: 4813字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-0505.2011.02.018

摘要

为了更好地理解和分析Web组合服务的过程及其相关属性,针对个体服务的WSDL文档和服务组合规约BPEL,提出了基于UML的Web组合服务建模和验证方法.从服务的WSDL中提取消息、操作等基本元素,用类图构建静态模型,以便考虑Web组合服务数据相关属性;用顺序图对业务流程构建动态模型,以形象易理解的方式刻画组合服务的行为,并简单地考虑了BPEL中的异常处理机制.在此基础上,将模型转换为Promela程序,利用模型检测工具SPIN对服务组合流程相关属性进行验证.实例分析表明,基于UML顺序图的服务组合建模和验证方法是有效的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吉顺慧	东南大学计算机科学与工程学院	4	44	4.0	4.0
2	李必信	东南大学计算机科学与工程学院	39	305	9.0	15.0
3	周宇	东南大学计算机科学与工程学院	12	128	7.0	11.0