2012. Manuscript.
The Roman Model is a framework for modeling services that export their behaviour in which the problem of service synthesis has been investigated under a variety of assumptions. We propose here the Weighted Roman Model, an extension of the Roman Model in which services are formalized by means of weighted transition systems that can capture the cost of executed operations. By adopting a semiring to model costs we are able to stay parametric with respect to the actual notion of cost of operations that is adopted. Within this setting, we address the optimal composition synthesis problem, where one is interested in synthesizing the composition that minimizes the total cost of operation execution for each possible interaction between the service and the client. We provide a formalization of the problem and propose an algorithm for checking the existence of an optimal composition realizing a given target services by making use of a set of available services. When such an optimal composition exists, we also show how to synthesize it.
@unpublished{ICSOC-2012,
title = "Synthesizing Optimal Service Compositions in the Weighted Roman
Model",
year = "2012",
author = "Diego Calvanese and Ario Santoso",
note = "Manuscript",
}