The development of new services through the integration of existing ones has gained a
considerable momentum as a means to create and streamline business-to-business …

This paper introduces a framework for modeling and specifying the global behavior of e-
service compositions. Under this framework, peers (individual e-services) communicate …

The development of new Web services through the composition of existing ones has gained
a considerable momentum as a means to realise business-to-business collaborations …

To run a smart E-Business or provide efficient Web service, a web services composition
model is needed. Web services composition refers to the process of collaborating the …

The growth of the Internet has unleashed a wave of innovations that are reshaping the way
organisations interact with their partners and customers. In particular, the concept of …

The new paradigm for distributed computing over the Internet is that of Web services. They
are Web accessible software components, which can be combined and linked together to …

In order to survive the massive competition created by the new online economy, traditional
businesses are under the pressure to take advantage of the information revolution brought …

We study the verification problem for e-service (and workflow) specifications, aiming at
efficient techniques for guiding the construction of composite e-services to guarantee …

A new wave of development based upon the eXtensible Markup Language (XML) has
started. One of the interesting aspects of this development influencing the Web is the" Web …

We distinguish between two broad categories of e-services: discrete services (eg, add item
to shopping cart, charge a credit card), and session-oriented ones (teleconference …