Abstract
During the last years, many approaches have been proposed in order to address the issue of automated service composition. In this chapter, we discuss the so-called “Roman model”, in which services are abstracted as transition systems and the objective is to obtain a composite service that preserves a desired interaction, expressed as a (virtual) target service. We will also outline its deployment in the challenging applications of smart houses, i.e., buildings pervasively equipped with sensors and actuators making their functionalities available according to the service-oriented paradigm.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
- 2.
Such a framework is inspired by the research on “semantic data integration” [27]. Obviously that research has dealt with data (i.e., static aspects) and not with computations (i.e., dynamic aspects) that are of interest in composition of services. Still many notions and insights developed in that field may have a deep impact in service composition. An example is the distinction that we make later between “service-tailored” and “client-tailored” service integration systems, which roughly mimic the distinction between Global As View (GAV) and Local As View (LAV) in data integration.
- 3.
Note that many scenarios of cooperative information systems, e.g., e-Government or e-Business, consider preliminary agreements on underlying ontologies, yet yielding a high degree of dynamism and flexibility.
- 4.
The reader should observe that also the standard proposal WSDL 2.0 adopts a similar approach: an operation can have multiple output messages (the out message and various outfault messages), and the client observes how the service behaved only after receiving a specific output message.
- 5.
In fact, it is possible to extend the approach and results presented here, to the case in which at each step more than one available behaviors acts as in [35].
- 6.
SM4All—Smart hoMes for All, is an FP7 project running from 1 September 2008 to 31 August 2011. Cf. the WWW site http://www.sm4all-project.eu/ and news on major international televisions: Globo TV—http://video.globo.com/Videos/Player/Noticias/0,,GIM1751401-7823-CASA+INTELIGENTE+E+MOVIDA+A+PENSAMENTO+NA+ITALIA,00.html, Channel 1 Russia—http://www.1tv.ru/news/other/191509, Italian Rai3—http://www.youtube.com/watch?v=a9F72_E4mT0 and http://rai.it/dl/tg3/rubriche/PublishingBlock-79554b45-1e4c-41a8-a474-ad3e22ab750f.html, Ability Channel—http://www.abilitychannel.tv/video/casa-domotica-sm4all/ .
- 7.
- 8.
- 9.
- 10.
Base types are identified by the http://www.sm4all-project.eu/datamodel/base namespace.
References
Baligand, F., Rivierre, N., Ledoux, T.: A declarative approach for QoS-aware web service compositions. In: Proceedings of ICSOC (2007)
Beauche, S., Poizat, P.: Automated service composition with adaptive planning. In: Proceedings of ICSOC (2008)
Benatallah, B., Casati, F., Toumani, F.: Web service conversation modeling: a cornerstone for e-business automation. IEEE Internet Comput. 8(1), 46–54 (2004)
Benatallah, B., Sheng, Q.Z., Dumas, M.: The Self-Serv environment for web services composition. IEEE Internet Comput. 7(1), 40–48 (2003)
Berardi, D., Calvanese, D., De Giacomo, G., Hull, R., Mecella, M.: Automatic composition of transition-based semantic web services with messaging. In: Proceedings of VLDB (2005)
Berardi, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Mecella, M.: Automatic composition of e-Services that export their behavior. In: Proceedings of ICSOC (2003)
Berardi, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Mecella, M.: Synthesis of underspecified composite e-Services based on automated reasoning. In: Proceedings of ICSOC (2004)
Berardi, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Mecella, M.: Automatic service composition based on behavioural descriptions. Int. J. Coop. Inf. Syst. 14(4), 333–376 (2005)
Berardi, D., Calvanese, D., De Giacomo, G., Mecella, M.: Composition of services with nondeterministic observable behavior. In: Proceedings of ICSOC (2005)
Berardi, D., Cheikh, F., De Giacomo, G., Patrizi, F.: Automatic service composition via simulation. Int. J. Found. Comput. Sci. 19(2), 429–451 (2008)
Bultan, T., Fu, X., Hull, R., Su, J.: Conversation specification: a new approach to design and analysis of e-Service composition. In: Proceedings of WWW (2003)
Cardoso, J., Sheth, A.: Introduction to semantic web services and web process composition. In: Proceedings of 1st International Workshop on Semantic Web Services and Web Process Composition (SWSWPC 2004) (2004)
Cheikh, F., De Giacomo, G., Mecella, M.: Automatic web services composition in trustaware communities. In: Proceedings of 3rd ACM Workshop On Secure Web Services (SWS 2006) (2006)
De Giacomo, G., Di Ciccio, C., Felli, P., Hu, Y., Mecella, M.: Goal-based composition of stateful services for smart homes. In: Proceedings of CoopIS (2012)
De Giacomo, G., Felli, P., Patrizi, F., Sardiña, S.: Two-player game structures for generalized planning and agent composition. In: Proceedings of AAAI (2010)
De Giacomo, G., De Masellis, R., Patrizi, F.: Composition of partially observable services exporting their behaviour. In: Proceedings of ICAPS (2009)
De Giacomo, G., Patrizi, F., Sardiña, S.: Agent programming via planning programs. In: Proceedings of AAMAS (2010)
De Giacomo, G., Sardiña, S.: Automatic synthesis of new behaviors from a library of available behaviors. In: Proceedings of IJCAI (2007)
De Paoli, F., Lulli, G., Maurino, A.: Design of quality-based composite web services. In: Proceedings of ICSOC (2006)
Di Ciccio, C., Mecella, M., Caruso, M., Forte, V., Iacomussi, E., Rasch, K., Querzoni, L., Santucci, G., Tino, G.: The homes of tomorrow: service composition and advanced user interfaces. ICST Trans. Ambient Syst. 11(10–12), e2 (2011)
Gerede, C., Hull, R., Ibarra, O.H., Su, J.: Automated composition of e-Services: Lookaheads. In: Proceedings of ICSOC (2004)
Henzinger, M.R., Henzinger, T.A., Kopke, P.W.: Computing simulations on finite and infinite graphs. In: Proceedings of FOCS (1995)
Hull, R.: Web services composition: a story of models, automata, and logics. In: Proceedings of SCC (2005)
Iacomussi, E.: Service-based architectures for smart homes and the SM4All project. The component for the automatic synthesis of conversational services. Master thesis, Sapienza Università di Roma (2011). A copy can be obtained by writing an email to authors
Kaldeli, E., Lazovik, A., Aiello, M.: Extended goals for composing services. In: Proceedings of ICAPS (2009)
Klein, A., Ishikawa, F., Honiden, S.: Efficient QoS-aware service composition with a probabilistic service selection policy. In: Proceedings of ICSOC (2010)
Lenzerini, M.: Data integration: a theoretical perspective. In: Proceedings of PODS (2002)
McFarland, D.J., Wolpaw, J.R.: Brain-computer interfaces for communication and control. Commun. ACM 54(5), 60–66 (2011)
McIlraith, S., Son, T.: Adapting golog for composition of semantic web services. In: Proceedings of KR (2002)
Medjahed, B., Bouguettaya, A., Elmagarmid, A.: Composing web services on the semantic web. Very Large Data Base J. 12(4), 333–351 (2003)
Michalowski, M., Ambite, J., Thakkar, S., Tuchinda, R., Knoblock, C., Minton, S.: Retrieving and semantically integrating heterogeneous data from the web. IEEE Int. Syst. 19(3), 72–79 (2004)
Muscholl, A., Walukiewicz, I.: A lower bound on web services composition. Logical Methods Comput. Sci. 4(5), 1–14 (2008). doi:10.2168/LMCS-4, http://www.lmcs-online.org/ojs/viewarticle.php?id=359
Pistore, M., Marconi, A., Bertoli, P., Traverso, P.: Automated composition of web services by planning at the knowledge level. In: Proceedings of IJCAI (2005)
Sardiña, S., De Giacomo, G., Patrizi, F.: Behavior composition in the presence of failure. In: Proceedings of KR (2008)
Sardiña, S., Patrizi, F., De Giacomo, G.: Automatic synthesis of a global behavior from multiple distributed behaviors. In: Proceedings of AAAI (2007)
Schuller, D., Miede, A., Eckert, J., Lampe, U., Papageorgiou, A., Steinmetz, R.: Qos-based optimization of service compositions for complex workflows. In: Proceedings of ICSOC (2010)
Wang, H., Zhou, X., Zhou, X., Liu, W., Li, W., Bouguettaya, A.: Adaptive service composition based on reinforcement learning. In: Proceedings of ICSOC (2010)
Wu, D., Parsia, B., Sirin, E., Hendler, J., Nau, D.: Automating DAML-S web services composition using SHOP2. In: Proceedings of ISWC (2003)
Yang, J., Papazoglou, M.: Service components for managing the life-cycle of service compositions. Inf. Syst. 29(2), 97–125 (2004)
Zhao, H., Doshi, P.: A hierarchical framework for composing nested web processes. In: Proceedings of ICSOC (2006)
Acknowledgments
The authors would like to thank all the persons who contributed over the years to the Roman model: Daniela Berardi, Diego Calvanese, Maurizio Lenzerini, Richard Hull, Alessandro Iuliani, Damiano Pozzi, Fahima Cheikh, Valerio Colaianni, Sebastian Sardiña, Claudio Di Ciccio, Riccardo De Masellis, Paolo Felli, Ettore Iacomussi, Vincenzo Forte, Mario Caruso. We also would like to acknowledge the support of the projects MAIS and Brindisys (Italian), SemanticGov and TONES (EU FP6), SM4All, GreenerBuildings and ACSI (EU FP7).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer Science+Business Media New York
About this chapter
Cite this chapter
De Giacomo, G., Mecella, M., Patrizi, F. (2014). Automated Service Composition Based on Behaviors: The Roman Model. In: Bouguettaya, A., Sheng, Q., Daniel, F. (eds) Web Services Foundations. Springer, New York, NY. https://doi.org/10.1007/978-1-4614-7518-7_8
Download citation
DOI: https://doi.org/10.1007/978-1-4614-7518-7_8
Published:
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4614-7517-0
Online ISBN: 978-1-4614-7518-7
eBook Packages: Computer ScienceComputer Science (R0)