论文部分内容阅读
根据Web服务中消息和行为的关系，Web服务被描述为面向消息的基于行为Petri网模型（Moap）．该模型包括消息域和服务过程，前者是服务协同以及和用户通信的通道，后者是基于Petri网的Web服务行为过程描述．Moap支持组合服务的重用，可以很好地描述可用服务的并行调用，另外元消息机制也有利于服务的自动组合．在Moap基础上，定义了服务组合系统和服务的协同；给出了服务自动组合规则，并证明了其有效性和完备性．最后，通过一个实例直观描述了服务组合系统的工作方式．