{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T18:05:27Z","timestamp":1778263527115,"version":"3.51.4"},"publisher-location":"New York, NY","reference-count":40,"publisher":"Springer New York","isbn-type":[{"value":"9781461475170","type":"print"},{"value":"9781461475187","type":"electronic"}],"license":[{"start":{"date-parts":[[2013,9,4]],"date-time":"2013-09-04T00:00:00Z","timestamp":1378252800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,9,4]],"date-time":"2013-09-04T00:00:00Z","timestamp":1378252800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-1-4614-7518-7_8","type":"book-chapter","created":{"date-parts":[[2013,9,3]],"date-time":"2013-09-03T06:17:42Z","timestamp":1378189062000},"page":"189-214","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":13,"title":["Automated Service Composition Based on Behaviors: The Roman Model"],"prefix":"10.1007","author":[{"given":"Giuseppe","family":"De Giacomo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Massimo","family":"Mecella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabio","family":"Patrizi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,9,4]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Baligand, F., Rivierre, N., Ledoux, T.: A declarative approach for QoS-aware web service compositions. In: Proceedings of ICSOC (2007)","DOI":"10.1007\/978-3-540-74974-5_38"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Beauche, S., Poizat, P.: Automated service composition with adaptive planning. In: Proceedings of ICSOC (2008)","DOI":"10.1007\/978-3-540-89652-4_42"},{"issue":"1","key":"8_CR3","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/MIC.2004.1260703","volume":"8","author":"B Benatallah","year":"2004","unstructured":"Benatallah, B., Casati, F., Toumani, F.: Web service conversation modeling: a cornerstone for e-business automation. IEEE Internet Comput. 8(1), 46\u201354 (2004)","journal-title":"IEEE Internet Comput."},{"issue":"1","key":"8_CR4","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/MIC.2003.1167338","volume":"7","author":"B Benatallah","year":"2003","unstructured":"Benatallah, B., Sheng, Q.Z., Dumas, M.: The Self-Serv environment for web services composition. IEEE Internet Comput. 7(1), 40\u201348 (2003)","journal-title":"IEEE Internet Comput."},{"key":"8_CR5","unstructured":"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)"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1007\/978-3-540-24593-3_4"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1145\/1035167.1035183"},{"issue":"4","key":"8_CR8","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1142\/S0218843005001201","volume":"14","author":"D Berardi","year":"2005","unstructured":"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\u2013376 (2005)","journal-title":"Int. J. Coop. Inf. Syst."},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Berardi, D., Calvanese, D., De Giacomo, G., Mecella, M.: Composition of services with nondeterministic observable behavior. In: Proceedings of ICSOC (2005)","DOI":"10.1007\/11596141_43"},{"issue":"2","key":"8_CR10","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1142\/S0129054108005759","volume":"19","author":"D Berardi","year":"2008","unstructured":"Berardi, D., Cheikh, F., De Giacomo, G., Patrizi, F.: Automatic service composition via simulation. Int. J. Found. Comput. Sci. 19(2), 429\u2013451 (2008)","journal-title":"Int. J. Found. Comput. Sci."},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1145\/775152.775210"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1007\/978-3-540-30581-1_1"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1145\/1180367.1180376"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1007\/978-3-642-33606-5_13"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"De Giacomo, G., Felli, P., Patrizi, F., Sardi\u00f1a, S.: Two-player game structures for generalized planning and agent composition. In: Proceedings of AAAI (2010)","DOI":"10.1609\/aaai.v24i1.7597"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"De Giacomo, G., De Masellis, R., Patrizi, F.: Composition of partially observable services exporting their behaviour. In: Proceedings of ICAPS (2009)","DOI":"10.1609\/icaps.v19i1.13360"},{"key":"8_CR17","unstructured":"De Giacomo, G., Patrizi, F., Sardi\u00f1a, S.: Agent programming via planning programs. In: Proceedings of AAMAS (2010)"},{"key":"8_CR18","unstructured":"De Giacomo, G., Sardi\u00f1a, S.: Automatic synthesis of new behaviors from a library of available behaviors. In: Proceedings of IJCAI (2007)"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"De Paoli, F., Lulli, G., Maurino, A.: Design of quality-based composite web services. In: Proceedings of ICSOC (2006)","DOI":"10.1007\/11948148_13"},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"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\u201312), e2 (2011)","DOI":"10.4108\/trans.amsys.2011.e2"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Gerede, C., Hull, R., Ibarra, O.H., Su, J.: Automated composition of e-Services: Lookaheads. In: Proceedings of ICSOC (2004)","DOI":"10.1145\/1035167.1035203"},{"key":"8_CR22","unstructured":"Henzinger, M.R., Henzinger, T.A., Kopke, P.W.: Computing simulations on finite and infinite graphs. In: Proceedings of FOCS (1995)"},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"Hull, R.: Web services composition: a story of models, automata, and logics. In: Proceedings of SCC (2005)","DOI":"10.1109\/ICWS.2005.133"},{"key":"8_CR24","unstructured":"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\u00e0 di Roma (2011). A copy can be obtained by writing an email to authors"},{"key":"8_CR25","doi-asserted-by":"crossref","unstructured":"Kaldeli, E., Lazovik, A., Aiello, M.: Extended goals for composing services. In: Proceedings of ICAPS (2009)","DOI":"10.1609\/icaps.v19i1.13385"},{"key":"8_CR26","doi-asserted-by":"crossref","unstructured":"Klein, A., Ishikawa, F., Honiden, S.: Efficient QoS-aware service composition with a probabilistic service selection policy. In: Proceedings of ICSOC (2010)","DOI":"10.1007\/978-3-642-17358-5_13"},{"key":"8_CR27","doi-asserted-by":"crossref","unstructured":"Lenzerini, M.: Data integration: a theoretical perspective. In: Proceedings of PODS (2002)","DOI":"10.1145\/543613.543644"},{"issue":"5","key":"8_CR28","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1145\/1941487.1941506","volume":"54","author":"DJ McFarland","year":"2011","unstructured":"McFarland, D.J., Wolpaw, J.R.: Brain-computer interfaces for communication and control. Commun. ACM 54(5), 60\u201366 (2011)","journal-title":"Commun. ACM"},{"key":"8_CR29","unstructured":"McIlraith, S., Son, T.: Adapting golog for composition of semantic web services. In: Proceedings of KR (2002)"},{"issue":"4","key":"8_CR30","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/s00778-003-0101-5","volume":"12","author":"B Medjahed","year":"2003","unstructured":"Medjahed, B., Bouguettaya, A., Elmagarmid, A.: Composing web services on the semantic web. Very Large Data Base J. 12(4), 333\u2013351 (2003)","journal-title":"Very Large Data Base J."},{"issue":"3","key":"8_CR31","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1109\/MIS.2004.16","volume":"19","author":"M Michalowski","year":"2004","unstructured":"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\u201379 (2004)","journal-title":"IEEE Int. Syst."},{"key":"8_CR32","doi-asserted-by":"publisher","unstructured":"Muscholl, A., Walukiewicz, I.: A lower bound on web services composition. Logical Methods Comput. Sci. 4(5), 1\u201314 (2008). doi:10.2168\/LMCS-4, http:\/\/www.lmcs-online.org\/ojs\/viewarticle.php?id=359","DOI":"10.2168\/LMCS-4"},{"key":"8_CR33","unstructured":"Pistore, M., Marconi, A., Bertoli, P., Traverso, P.: Automated composition of web services by planning at the knowledge level. In: Proceedings of IJCAI (2005)"},{"key":"8_CR34","unstructured":"Sardi\u00f1a, S., De Giacomo, G., Patrizi, F.: Behavior composition in the presence of failure. In: Proceedings of KR (2008)"},{"key":"8_CR35","unstructured":"Sardi\u00f1a, S., Patrizi, F., De Giacomo, G.: Automatic synthesis of a global behavior from multiple distributed behaviors. In: Proceedings of AAAI (2007)"},{"key":"8_CR36","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1109\/ICIW.2010.55"},{"key":"8_CR37","doi-asserted-by":"crossref","unstructured":"Wang, H., Zhou, X., Zhou, X., Liu, W., Li, W., Bouguettaya, A.: Adaptive service composition based on reinforcement learning. In: Proceedings of ICSOC (2010)","DOI":"10.1007\/978-3-642-17358-5_7"},{"key":"8_CR38","doi-asserted-by":"crossref","unstructured":"Wu, D., Parsia, B., Sirin, E., Hendler, J., Nau, D.: Automating DAML-S web services composition using SHOP2. In: Proceedings of ISWC (2003)","DOI":"10.1007\/978-3-540-39718-2_13"},{"issue":"2","key":"8_CR39","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/S0306-4379(03)00051-6","volume":"29","author":"J Yang","year":"2004","unstructured":"Yang, J., Papazoglou, M.: Service components for managing the life-cycle of service compositions. Inf. Syst. 29(2), 97\u2013125 (2004)","journal-title":"Inf. Syst."},{"key":"8_CR40","doi-asserted-by":"crossref","unstructured":"Zhao, H., Doshi, P.: A hierarchical framework for composing nested web processes. In: Proceedings of ICSOC (2006)","DOI":"10.1007\/11948148_10"}],"container-title":["Web Services Foundations"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4614-7518-7_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,19]],"date-time":"2023-02-19T16:18:57Z","timestamp":1676823537000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-1-4614-7518-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9,4]]},"ISBN":["9781461475170","9781461475187"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-1-4614-7518-7_8","relation":{},"subject":[],"published":{"date-parts":[[2013,9,4]]},"assertion":[{"value":"4 September 2013","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}