- Years
- 2013（1）
- 2008（1）
- 2007（1）
- Journals
- 东南大学学报（英文版）（2）
- 巢湖学院学报（1）
- Affiliations
- 华中科技大学（1）
- Languages
- 汉语（3）
- Keywords
- web服务组合（3）
- CPN-tools（1）
- Petri网（1）
- web（1）
- web服务（1）
- web服务编排描述语言（1）
- 业务关联关系模型（1）
- 智能规划（1）
- 模型（1）
- 类型化模型（1）
- More...
- Authors
- 代钰（1）
- 卢正鼎（1）
- 张斌（1）
- 李嶒（1）
- 李瑞轩（1）
- 杨雷（1）
- 辜希武（1）
- More...
Relevance
- Relevance
- Publication time
10 per page
- 10 per page
- 20 per page
- 30 items are displayed on each page
3 Articles
- 面向业务领域基于智能规划的web服务组合
- Web服务组合规范WS-CDL的类型化形式化模型Abstract：为了形式化地推理和验证web服务编排规范WS-CDL所描述的web服务组合,提出了一个WS-CDL规范的类型化形式化模型——typed abstract WS-CDL.在typed abstract WS-CDL中,定义了类型和会话的语法、类型判定规则和操作语义;web服务问的协作由会话来描述;利用会话的操作语义能对web服务编排的执行进行推理;利用类型判定规则能检查web服务间交换信息类型一致性并捕获由于类型不一致导致的运行时错误.…More>>
- 有色Petri网在web服务组合建模中的应用