In this paper we describe a tool for a model-based approach to verifying compositions of
web service implementations. The tool supports verification of properties created from …

Enabling process changes constitutes a major challenge for any process-aware information
system. This not only holds for processes running within a single enterprise, but also for …

We present a language for specifying web service interfaces. A web service interface puts
three kinds of constraints on the users of the service. First, the interface specifies the …

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 …

For more efficient organizing, browsing, and retrieving digital video content, it is important to
extract video structure information at both scene and shot levels. The paper presents an …

In this paper we discuss a model-based approach to the analysis of service interactions for
coordinated web service compositions using obligation policies specified in the form of …

Service computing is a cross-disciplinary field that covers science and technology, and
represents a promising direction for distributed computing and software development …

Recently, mediation-aided composition has been widely adopted when dealing with
incompatibilities of services. However, existing approaches suffer from state space …

The Web Services Business Process Execution Language (BPEL for short) is a recently
developed language that is used to specify compositions of web services. In the last few …

Despite the emergence of standards to define and compose Web Services to form more
complex systems, as yet, there is little support for engineering systems composed from …