Automatic Composition of eServices that Export their Behavior (2003)
Cached
Download Links
| Venue: | In 1st Intl. Conference on Service Oriented Computing |
| Citations: | 101 - 16 self |
BibTeX
@INPROCEEDINGS{Berardi03automaticcomposition,
author = {Daniela Berardi and Diego Calvanese and Maurizio Lenzerini and Massimo Mecella},
title = {Automatic Composition of eServices that Export their Behavior},
booktitle = {In 1st Intl. Conference on Service Oriented Computing},
year = {2003},
pages = {43--58}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. The main focus of this paper is on automatic e-Service composition. We start by developing a framework in which the exported behavior of an e-Service is described in terms of its possible executions (execution trees). Then we specialize the framework to the case in which such exported behavior (i.e., the execution tree of the e-Service) is represented by a finite state machine. In this specific setting, we analyze the complexity of synthesizing a composition, and develop sound and complete algorithms to check the existence of a composition and to return one such a composition if one exists. To the best of our knowledge, our work is the first attempt to provide an algorithm for the automatic synthesis of e-Service composition, that is both proved to be correct, and has an associated computational complexity characterization. 1
