| 一种验证业务级服务组合可执行能力的方法 |
| |
| 引用本文： | 单保华,韩燕波,李厚福,胡海涛.一种验证业务级服务组合可执行能力的方法[J].计算机科学,2006,33(3):114-116. |
| |
| 作者姓名： | 单保华 韩燕波 李厚福 胡海涛 |
| |
| 作者单位： | 中国科学院计算技术研究所软件研究室,北京,100080 |
| |
| 基金项目： | 国家科技攻关项目;中国科学院资助项目;中国科学院"百人计划" |
| |
| 摘 要： | 在面向服务的环境中，服务组合的可执行能力具有很大的不确定性，在业务级别组合服务更是如此.影响业务级服务组合可执行能力的因素是多方面的，本文针对组合的服务的逻辑结构和业务服务到具体服务的匹配方法对业务级服务组合可执行能力的影响，提出了一种基于着色时间Petri网（CTPN）的业务级服务组合可执行能力验证方法，并以制造业网格应用平台AmGrid为案例，展示了该方法在平台中的应用效果.
|
| 关 键 词： | 业务级服务组合 着色时间Petri网 可执行能力验证 |
An Approach to Verify Executable Ability of Business Level Service Composition |
| |
| SHAN Bao-Hua,HAN Yan-Bo,LI Hou-Fu,HU Hai-Tao.An Approach to Verify Executable Ability of Business Level Service Composition[J].Computer Science,2006,33(3):114-116. |
| |
| Authors: | SHAN Bao-Hua HAN Yan-Bo LI Hou-Fu HU Hai-Tao |
| |
| Affiliation: | Institute of Computing Technology, Chinese Academy of Science, Beijing 100080 |
| |
| Abstract: | The executable ability of service composition in servlce-orlented environment has much uncertainty and business level service composition adds more uncertainty. There are many factors affecting the executable ability of business level service composition. Aimed at the influence of composition logic of service and method of matching from business service to concrete service on the executable ability of business level service composition, this paper presents an approach based on colored - timed Petri net to verify the executable ability of business level service composition and then exhibits the usage of this approach in AmGrid. |
| |
| Keywords: | Business level service composition Colored - timed Petri net Verify of executable ability |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
点击此处可从《计算机科学》下载全文 |
