%0 Journal Article %T 一种验证业务级服务组合可执行能力的方法 %A 单保华 韩燕波 李厚福 胡海涛? %J 计算机科学 %D 2006 %X 在面向服务的环境中,服务组合的可执行能力具有很大的不确定性,在业务级别组合服务更是如此.影响业务级服务组合可执行能力的因素是多方面的,本文针对组合的服务的逻辑结构和业务服务到具体服务的匹配方法对业务级服务组合可执行能力的影响,提出了一种基于着色时间petri网(ctpn)的业务级服务组合可执行能力验证方法,并以制造业网格应用平台amgrid为案例,展示了该方法在平台中的应用效果. %K 业务级服务组合着色时间petri网可执行能力验证 %U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=21631303&flag=1