Best Service Synthesis in the Weighted Roman Model

Diego Calvanese and Ario Santoso

Proc. of the 4th Central-European Workshop on Services and their Composition (ZEUS 2012). Volume 847 of CEUR Workshop Proceedings, http://ceur-ws.org/. 2012.

This paper presents an extension of a framework for synthesizing a composition of services, named Roman Model, such that it is able to model the best service composition synthesis problem. In such extension, which we call the Weighted Roman Model, the services are modeled as Weighted Transition Systems so that one can capture the cost of operations executed by a service. Within this setting, we can make a comparison among all possible compositions of the available services by considering the total cost of operation execution performed by each possible composition of services for each interaction between the service and the client. Besides defining the notion of best composition, we also propose an algorithm for synthesizing the best composition and show that it is sound and complete. Finally, we propose an extension of WSDL to capture the Weighted Roman Model.


@inproceedings{ZEUS-2012,
   title = "Best Service Synthesis in the Weighted Roman Model",
   year = "2012",
   author = "Diego Calvanese and Ario Santoso",
   booktitle = "Proc. of the 4th Central-European Workshop on Services and
their Composition (ZEUS 2012)",
   pages = "42--49",
   volume = "847",
   series = "CEUR Workshop Proceedings, http://ceur-ws.org/",
}
pdf url