Automatic service composition based on behavioral descriptions (2005)

by D Berardi, D Calvanese, G D Giacomo, M Lenzerini, M Mecella