为了研究Web 服务组合技术, 以促使服务计算从概念走向应用, 提出了Web
服务组合的技术框架, 该框架涵盖了服务组合过程涉及的主要关键技术. 讨论了该研究框架中的 …

Web services have become the technology of choice for service-oriented computing
implementation, where Web services can be composed in response to some users' needs. It …

Batch processing function and passing value indeterminacy in cooperative systems can be
described and analysed by logic Petri nets (LPNs). To directly analyse the properties of …

In service selection, an end user often has his or her personal preferences imposing on a
candidate service's non-functional properties. For a service selection process promoted by a …

This paper presents a class of Petri nets, process nets with channels (PNCs) that can model
some types of concurrent systems in two aspects: process and interaction. Its significance …

We present a formal framework for robotic cooperation in which we use an extension to Petri
nets, known as workflow nets, to establish a protocol among mobile agents based on the …

Given the inherent autonomy, heterogeneity, and continuous evolution of Web services,
mismatches usually exist between service protocols, and service interactions are typically …

BPEL 对Web 服务组合的描述特性使得它很难表达和分析服务组合中的交互行为属性.
这些行为属性需要遵循一定的交互协议. 然而良定义的交互协议还是容易受到侵犯 …

The information technology has been recognized as one of the most important means to
improve health care and curb its ever-increasing cost. However, existing efforts mainly focus …

Given the inherent autonomy, heterogeneity, and continuous evolution of Web services,
mismatches usually exist between service protocols. Adapters are typically used to reconcile …