文档介绍：
服务编排定义语言的随机 Petri 网建模#
夏云霓,王威风*
(重庆大学计算机学院)
5
10
15
20
25
30
35
摘要:WS-CDL 是一种的 WEB 服务组合定义语言,描述了基于编排机制的端对端服务组件
的组合方式。对基于 WS-CDL 的服务组合进行基于随机 Petri 网的建模,能从控制流层面分
析、验证、计算服务编排的一系列定性和定量性质。在本文中,我们提出了一种模型驱动的
方法来建模基于 WS-CDL 的组合服务。该方法引入一系列的转换规则,将 WS-CDL 中的各
种活动和结构转换为等效的随机 Petri 网描述。在实例研究中,我们运用这些转换规则,对
一个真实的 WS-CDL 样例进行了随机 Petri 网转换,以检验本文提出方法的有效性。
关键词:软件工程;WS-CDL;服务组合;Petri 网
中图分类号:
Modeling choreography description language using
stochastic
XIA Yunni, WANG Weifeng
(School puters, Chongqing University)
Abstract: WS-CDL, one of the most significant choreography web position standard,
provides Web Service providers with a core description framework and guidelines for describing
the properties and capabilities of their web Services in unambiguous, computer interpretable form.
In this work we present a translation-based approach for modeling WS-CDL. This approach
employs as the fundamental means of modeling and defines a set of translation rules to
map WS-CDL elements into equivalent stochastic representations. They capture the
main aspect of service invocations and the control flow of the service model. A case study based
on a real-world example is also conducted to examine the effectiveness of the translation-based
model.
Key words: Software engineering; WS-CDL; position;
0 引言
网络服务(WEB SERVICE)是一种依靠重用已有服务组件来组合新服务应用的技术,
依赖于一系列基于 XML 的协议和规范(如 SOAP,WSDL 等),以实现 WEB 应用的自动
整合和重构为目标。Web 服务已成为面向服务的体系架构(SOA)最成功、最流行的形式。多
数情况下,单一的 Web 服务很难满足实际的用户需求,一个复杂的商业流程通常需要多个
Web 服务的组合才能实现预期的目标。
Web 服务技术的核心标准 SOAP、WSDL 和 UDDI 都是基于 XML 和 技术的,
并且是构建 Web 服务的基础。Web 服务组合技术的标准是建立在 Web 服务技术的核心标准
之上的。由于 Web 服务组合的基础是对服务逻辑(包括服务过程、包含的基本服务、基本服
基金项目:国家自然科学基金 ;博士点新教师基金 ;重庆市新产品创新
青年科技人才培养计划 -qnrc0079;国际科技支撑计划
作者简介:男,1980 年 4 月出生,理学博士,博士后,副教授,硕士生导师。2003 年 7 月毕业于重庆大学
计算机系,获工学学士学位。2008 年 7 月毕业于北京大学信息学院计算机软件与理论专业,获理学博士学
位,导师是袁崇义和王捍贫教授。2006-2007 年在微软亚洲研究院理论组从事分布式算法性能分析的研究。
目前主要从事服务质量分析、Web 服务组合、软件工程形式化的