计算机科学 ›› 2006, Vol. 33 ›› Issue (3): 114-116.
• • 上一篇 下一篇
单保华 韩燕波 李厚福 胡海涛
出版日期:
发布日期:
基金资助:
SHAN Bao-Hua , HAN Yan-Bo ,LI Hou-Fu , HU Hai-Tao （Institute of Computing Technology, Chinese Academy of Science, Beijing 100080）
Online:
Published:
摘要： 在面向服务的环境中，服务组合的可执行能力具有很大的不确定性，在业务级别组合服务更是如此.影响业务级服务组合可执行能力的因素是多方面的，本文针对组合的服务的逻辑结构和业务服务到具体服务的匹配方法对业务级服务组合可执行能力的影响，提出了一种基于着色时间Petri网（CTPN）的业务级服务组合可执行能力验证方法，并以制造业网格应用平台AmGrid为案例，展示了该方法在平台中的应用效果.
关键词: 业务级服务组合 着色时间Petri网 可执行能力验证
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.
Key words: Business level service composition,Colored - timed Petri net,Verify of executable ability
单保华 韩燕波 李厚福 胡海涛. 一种验证业务级服务组合可执行能力的方法[J]. 计算机科学, 2006, 33(3): 114-116. https://doi.org/
SHAN Bao-Hua , HAN Yan-Bo ,LI Hou-Fu , HU Hai-Tao （Institute of Computing Technology, Chinese Academy of Science, Beijing 100080）. [J]. Computer Science, 2006, 33(3): 114-116. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2006/V33/I3/114
Cited
首页