Diego Calvanese Giuseppe De Giacomo Maurizio Lenzerini Massimo Mecella Fabio Patrizi Automatic Service Composition and Synthesis: the Roman Model. 18-22 2008 31 IEEE Data Eng. Bull. 3 http://sites.computer.org/debull/A08Sept/roman.pdf db/journals/debu/debu31.html#CalvaneseGLMP08