Automatic Composition of e-Services that Export their Behavior

Proc. of the 1st Int. Conf. on Service Oriented Computing (ICSOC 2003). Volume 2910 of Lecture Notes in Computer Science. 2003. Award for the most influential paper in the first 10 years of the International Conference on Service Oriented Computing .

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.

@inproceedings{ICSOC-2003,
   title = "Automatic Composition of e-Services that Export their Behavior",
   year = "2003",
   author = "Daniela Berardi and Diego Calvanese and De Giacomo, Giuseppe
and Maurizio Lenzerini and Massimo Mecella",
   booktitle = "Proc. of the 1st Int. Conf. on Service Oriented Computing
(ICSOC 2003)",
   pages = "43--58",
   volume = "2910",
   publisher = "Springer",
   series = "Lecture Notes in Computer Science",
   doi = "10.1007/978-3-540-24593-3_4",
  note = "Award for the most influential paper in the first 10 years of
the International  Conference  on  Service  Oriented  Computing ",
}