An Introduction to Simulation-Based Techniques for Automated Service Composition

Fabio Patrizi

This work is an introduction to the author's contributions to the SOC area, resulting from his PhD research activity. It focuses on the problem of automatically composing a desired service, given a set of available ones and a target specification. As for description, services are represented as finite-state transition systems, so to provide an abstract account of their behavior, seen as the set of possible conversations with external clients. In addition, the presence of a finite shared memory is considered, that services can interact with and which provides a basic form of communication. Rather than describing technical details, we offer an informal overview of the whole work, and refer the reader to the original papers, referenced throughout this work, for all details.

In Maurice ter Beek: Proceedings Fourth European Young Researchers Workshop on Service Oriented Computing (YR-SOC 2009), Pisa, Italy, 17-19th June 2009, Electronic Proceedings in Theoretical Computer Science 2, pp. 37–49.
Published: 26th June 2009.

ArXived at: http://dx.doi.org/10.4204/EPTCS.2.4 bibtex PDF

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org