Reuse and integration of heterogeneous software parts are promises of Component-Based
Software Development. However, current industrial approaches suffer from a limited support …

In this paper we outline an approach to the formalization of Web Service composition using
WSBPEL (formerly BPEL4WS). Complementing current specification by adding protocol …

Business processes built from Web services need a more adaptable composition solution. In
this paper, a rule-driven approach is proposed to control the executions of business …

Abstract KPN (Kahn Process Network) is a model of computation based on dataflow and
commonly used for describing a set of cooperative processes that communicate with each …

This paper addresses the problems of modeling the interaction of Web services when they
are composed together. Many subtle errors such as message not received and deadlock …

Business processes built from web services need a more adaptable composition solution. In
this paper, an approach based on agents is proposed to control the executions of business …

This paper presents a novel service composition language called CCML. Its distinct
advantage from conventional composition languages is its ability to describe behaviors of …

Two decision problems are presented that arise from reversing the operation of a distance-
based indexing tree. Whereas similarity search finds points in the tree given a query point …

Formal method is an effective way for modeling and verifying software system. Describing
and verifying Web services by formal method is an important research field. Guaranteeing …

Software agents are the running programs that drive Web services-both to implement them
and to access them as computational resources that act on behalf of a person or …