| 基于顺序图的Web组合服务属性验证 |
| |
| 引用本文： | 吉顺慧,李必信,周宇.基于顺序图的Web组合服务属性验证[J].Canadian Metallurgical Quarterly,2011,41(2). |
| |
| 作者姓名： | 吉顺慧 李必信 周宇 |
| |
| 作者单位： | 东南大学计算机科学与工程学院,南京,211189 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划)资助项目，国家自然科学基金资助项目 |
| |
| 摘 要： | 为了更好地理解和分析Web组合服务的过程及其相关属性,针对个体服务的WSDL文档和服务组合规约BPEL,提出了基于UML的Web组合服务建模和验证方法.从服务的WSDL中提取消息、操作等基本元素,用类图构建静态模型,以便考虑Web组合服务数据相关属性;用顺序图对业务流程构建动态模型,以形象易理解的方式刻画组合服务的行为,并简单地考虑了BPEL中的异常处理机制.在此基础上,将模型转换为Promela程序,利用模型检测工具SPIN对服务组合流程相关属性进行验证.实例分析表明,基于UML顺序图的服务组合建模和验证方法是有效的.
|
| 关 键 词： | Web组合服务 UML建模 模型验证 SPIN |
Sequence diagram based property verification for web service composition |
| |
| Ji Shunhui,Li Bixin,Zhou Yu.Sequence diagram based property verification for web service composition[J].Canadian Metallurgical Quarterly,2011,41(2). |
| |
| Authors: | Ji Shunhui Li Bixin Zhou Yu |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
