摘要：Web服务描述与组合是实现面向服务计算的关键,但目前Web服务描述研究对Web服务的实时性与智能性因素考虑不多,不适合用于分布式实时系统中的服务描述。该文首先定义了适合实时服务描述的实时有色Petri网（RTCPN）与层次实时有色Petri网（HRTCPN）,然后建立了原子实时服务到RTCPN映射描述模型（AS-RTCPN）,对服务组合运算规则进行了详细描述与建模,最后形成了服务组合HRTCPN描述模型的简化算法,并给出了HRTCPN的可达服务图RSG的定义及构建算法,证明了HRTCPN模型的正确性。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社