论文部分内容阅读
在面向服务的环境中，服务组合的可执行能力具有很大的不确定性，在业务级别组合服务更是如此.影响业务级服务组合可执行能力的因素是多方面的，本文针对组合的服务的逻辑结构和业务服务到具体服务的匹配方法对业务级服务组合可执行能力的影响，提出了一种基于着色时间Petri网（CTPN）的业务级服务组合可执行能力验证方法，并以制造业网格应用平台AmGrid为案例，展示了该方法在平台中的应用效果.