{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T12:34:11Z","timestamp":1725712451809},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642336058"},{"type":"electronic","value":"9783642336065"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33606-5_13","type":"book-chapter","created":{"date-parts":[[2013,1,15]],"date-time":"2013-01-15T14:28:22Z","timestamp":1358260102000},"page":"194-211","source":"Crossref","is-referenced-by-count":4,"title":["Goal-Based Composition of Stateful Services for Smart Homes"],"prefix":"10.1007","author":[{"given":"Giuseppe","family":"De Giacomo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claudio","family":"Di Ciccio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Felli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuxiao","family":"Hu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Massimo","family":"Mecella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1007\/978-3-540-74974-5_38","volume-title":"Service-Oriented Computing \u2013 ICSOC 2007","author":"F. Baligand","year":"2007","unstructured":"Baligand, F., Rivierre, N., Ledoux, T.: A Declarative Approach for QoS-Aware Web Service Compositions. In: Kr\u00e4mer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol.\u00a04749, pp. 422\u2013428. Springer, Heidelberg (2007)"},{"key":"13_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"530","DOI":"10.1007\/978-3-540-89652-4_42","volume-title":"Service-Oriented Computing \u2013 ICSOC 2008","author":"S. Beauche","year":"2008","unstructured":"Beauche, S., Poizat, P.: Automated Service Composition with Adaptive Planning. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol.\u00a05364, pp. 530\u2013537. Springer, Heidelberg (2008)"},{"issue":"5","key":"13_CR3","first-page":"1","volume":"1","author":"M.H. Beek ter","year":"2007","unstructured":"ter Beek, M.H., Bucchiarone, A., Gnesi, S.: Formal Methods for Service Composition. Annals of Mathematics, Computing and Teleinformatics\u00a01(5), 1\u201310 (2007)","journal-title":"Annals of Mathematics, Computing and Teleinformatics"},{"issue":"4","key":"13_CR4","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. International Journal of Cooperative Information Systems\u00a014(4), 333\u2013376 (2005)","journal-title":"International Journal of Cooperative Information Systems"},{"key":"13_CR5","unstructured":"Blythe, J., Ambite, J. (eds.): Proc. of ICAPS 2004 Workshop on Planning and Scheduling for Web and Grid Services (2004)"},{"key":"13_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-30581-1_1","volume-title":"Semantic Web Services and Web Process Composition","author":"J. Cardoso","year":"2005","unstructured":"Cardoso, J., Sheth, A.P.: Introduction to Semantic Web Services and Web Process Composition. In: Cardoso, J., Sheth, A.P. (eds.) SWSWPC 2004. LNCS, vol.\u00a03387, pp. 1\u201313. Springer, Heidelberg (2005)"},{"key":"13_CR7","series-title":"LNICST","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1007\/978-3-642-23902-1_2","volume-title":"Ambient Media and Systems","author":"T. Catarci","year":"2011","unstructured":"Catarci, T., Di Ciccio, C., Forte, V., Iacomussi, E., Mecella, M., Santucci, G., Tino, G.: Service Composition and Advanced User Interfaces in the Home of Tomorrow: The SM4All Approach. In: Gabrielli, S., Elias, D., Kahol, K. (eds.) AmBI-SYS 2011. LNICST, vol.\u00a070, pp. 12\u201319. Springer, Heidelberg (2011)"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Curbera, F., Sheth, A., Verma, K.: Services Oriented Architectures and Semantic Web Processes. In: ICWS 2004 (2004)","DOI":"10.1109\/ICWS.2004.1314712"},{"key":"13_CR9","unstructured":"De Giacomo, G., Patrizi, F., Sardi\u00f1a, S.: Agent Programming via Planning Programs. In: AAMAS 2010 (2010)"},{"key":"13_CR10","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: AAAI 2010 (2010)","DOI":"10.1609\/aaai.v24i1.7597"},{"key":"13_CR11","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 Systems\u00a011(10-12) (2011)","DOI":"10.4108\/trans.amsys.2011.e2"},{"key":"13_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1007\/978-3-540-89652-4_7","volume-title":"Service-Oriented Computing \u2013 ICSOC 2008","author":"R.R. Hassen","year":"2008","unstructured":"Hassen, R.R., Nourine, L., Toumani, F.: Protocol-Based Web Service Composition. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol.\u00a05364, pp. 38\u201353. Springer, Heidelberg (2008)"},{"key":"13_CR13","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1613\/jair.855","volume":"14","author":"J. Hoffmann","year":"2001","unstructured":"Hoffmann, J., Nebel, B.: The FF Planning System: Fast Plan Generation through Heuristic Search. Journal of Artificial Intelligence Research\u00a014, 253\u2013302 (2001)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"13_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-642-17358-5_12","volume-title":"Service-Oriented Computing","author":"E. Kaldeli","year":"2010","unstructured":"Kaldeli, E., Warriach, E.U., Bresser, J., Lazovik, A., Aiello, M.: Interoperation, Composition and Simulation of Services at Home. In: Maglio, P.P., Weske, M., Yang, J., Fantinato, M. (eds.) ICSOC 2010. LNCS, vol.\u00a06470, pp. 167\u2013181. Springer, Heidelberg (2010)"},{"key":"13_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/978-3-642-17358-5_13","volume-title":"Service-Oriented Computing","author":"A. Klein","year":"2010","unstructured":"Klein, A., Ishikawa, F., Honiden, S.: Efficient QoS-Aware Service Composition with a Probabilistic Service Selection Policy. In: Maglio, P.P., Weske, M., Yang, J., Fantinato, M. (eds.) ICSOC 2010. LNCS, vol.\u00a06470, pp. 182\u2013196. Springer, Heidelberg (2010)"},{"key":"13_CR16","unstructured":"McIlraith, S., Son, T.: Adapting GOLOG for Composition of Semantic Web Services. In: KR 2002 (2002)"},{"issue":"4","key":"13_CR17","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 Journal\u00a012(4), 333\u2013351 (2003)","journal-title":"Very Large Data Base Journal"},{"key":"13_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/11948148_13","volume-title":"Service-Oriented Computing \u2013 ICSOC 2006","author":"F. Paoli De","year":"2006","unstructured":"De Paoli, F., Lulli, G., Maurino, A.: Design of Quality-Based Composite Web Services. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol.\u00a04294, pp. 153\u2013164. Springer, Heidelberg (2006)"},{"key":"13_CR19","unstructured":"Pistore, M., Marconi, A., Bertoli, P., Traverso, P.: Automated Composition of Web Services by Planning at the Knowledge Level. In: IJCAI 2005 (2005)"},{"key":"13_CR20","unstructured":"Pnueli, A., Shahar, E.: The TLV System and its Applications. Tech. rep., Department of Computer Science, Weizmann Institute, Rehovot, Israel (1996)"},{"key":"13_CR21","unstructured":"Sardi\u00f1a, S., De Giacomo, G.: Realizing Multiple Autonomous Agents through Scheduling of Shared Devices. In: ICAPS 2008 (2008)"},{"key":"13_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"641","DOI":"10.1007\/978-3-642-17358-5_50","volume-title":"Service-Oriented Computing","author":"D. Schuller","year":"2010","unstructured":"Schuller, D., Miede, A., Eckert, J., Lampe, U., Papageorgiou, A., Steinmetz, R.: QoS-Based Optimization of Service Compositions for Complex Workflows. In: Maglio, P.P., Weske, M., Yang, J., Fantinato, M. (eds.) ICSOC 2010. LNCS, vol.\u00a06470, pp. 641\u2013648. Springer, Heidelberg (2010)"},{"key":"13_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-642-17358-5_7","volume-title":"Service-Oriented Computing","author":"H. Wang","year":"2010","unstructured":"Wang, H., Zhou, X., Zhou, X., Liu, W., Li, W., Bouguettaya, A.: Adaptive Service Composition Based on Reinforcement Learning. In: Maglio, P.P., Weske, M., Yang, J., Fantinato, M. (eds.) ICSOC 2010. LNCS, vol.\u00a06470, pp. 92\u2013107. Springer, Heidelberg (2010)"},{"key":"13_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/978-3-540-39718-2_13","volume-title":"The Semantic Web - ISWC 2003","author":"D. Wu","year":"2003","unstructured":"Wu, D., Parsia, B., Sirin, E., Hendler, J., Nau, D.S.: Automating DAML-S Web Services Composition Using SHOP2. In: Fensel, D., Sycara, K., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol.\u00a02870, pp. 195\u2013210. Springer, Heidelberg (2003)"},{"issue":"2","key":"13_CR25","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. Information Systems\u00a029(2), 97\u2013125 (2004)","journal-title":"Information Systems"},{"key":"13_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/11948148_10","volume-title":"Service-Oriented Computing \u2013 ICSOC 2006","author":"H. Zhao","year":"2006","unstructured":"Zhao, H., Doshi, P.: A Hierarchical Framework for Composing Nested Web Processes. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol.\u00a04294, pp. 116\u2013128. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems: OTM 2012"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33606-5_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,28]],"date-time":"2023-06-28T18:11:04Z","timestamp":1687975864000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33606-5_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336058","9783642336065"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33606-5_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}