| WS—CDL的形式化模型和执行过程研究 |
| |
| 引用本文： | 梁智远,张为群,黄娟.WS—CDL的形式化模型和执行过程研究[J].计算机科学,2009,36(5):151-153. |
| |
| 作者姓名： | 梁智远 张为群 黄娟 |
| |
| 作者单位： | 西南大学计算机与信息科学学院,重庆,400715 |
| |
| 基金项目： | 到重庆市自然科学基金重点项目 |
| |
| 摘 要： | WS-CDL以全局的视角描述了基于交互的各个服务之间的组合方式,定义了公共和互补的可观察行为,以及具有一致见解的顺序规则.但是WS-CDL没有形式化的模型,也没有定义执行过程.提出了一种为WS-CDL建立全局模型的方法,定义了语法和语义,然后将全局模型映射到局部模型,并且定义了全局执行过程,最后讨论了一致性问题.
|
| 关 键 词： | Web服务编排描述语言 Web服务组合 一致性 |
| 收稿时间： | 2008/11/10 0:00:00 |
Research on Formal Model and Implementation for WS-CDL |
| |
| LIANG Zhi-yuan ZHANG Wei-qun HUANG Juan.Research on Formal Model and Implementation for WS-CDL[J].Computer Science,2009,36(5):151-153. |
| |
| Authors: | LIANG Zhi-yuan ZHANG Wei-qun HUANG Juan |
| |
| Affiliation: | College of Computer and Information Science;Southwest University;Chongqing 400715;China |
| |
| Abstract: | WS-CDL describes the composition between interacting services from a global viewpoint,and specifies the common and complementary observable behavior,and the jointly agreed ordering rules.But WS-CDL lacks for formal model and implementation.This paper proposed a global model of WS-CDL,and defined its syntax and semantic.Then we map the global model to local one,and defined the global implementation.At last we discussed the conformance problem. |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
|
