{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:04:53Z","timestamp":1725563093886},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642144578"},{"type":"electronic","value":"9783642144585"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14458-5_9","type":"book-chapter","created":{"date-parts":[[2010,8,23]],"date-time":"2010-08-23T04:33:35Z","timestamp":1282538015000},"page":"147-160","source":"Crossref","is-referenced-by-count":2,"title":["Automated Composition of Nondeterministic Stateful Services"],"prefix":"10.1007","author":[{"given":"Giuseppe","family":"De Giacomo","sequence":"first","affiliation":[]},{"given":"Fabio","family":"Patrizi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","volume-title":"Concepts, Architectures and Applications","author":"G. Alonso","year":"2004","unstructured":"Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services. In: Concepts, Architectures and Applications, Springer, Heidelberg (2004)"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1007\/BFb0028774","volume-title":"Computer Aided Verification","author":"R. Alur","year":"1998","unstructured":"Alur, R., Henzinger, T.A., Mang, F.Y.C., Qadeer, S., Rajamani, S.K., Tasiran, S.: MOCHA: Modularity in model checking. In: Y. Vardi, M. (ed.) CAV 1998. LNCS, vol.\u00a01427, pp. 521\u2013525. Springer, Heidelberg (1998)"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Hybrid Systems II","author":"E. Asarin","year":"1995","unstructured":"Asarin, E., Maler, O., Pnueli, A.: Symbolic controller synthesis for discrete and timed systems. In: Antsaklis, P.J., Kohn, W., Nerode, A., Sastry, S.S. (eds.) HS 1994. LNCS, vol.\u00a0999, pp. 1\u201320. Springer, Heidelberg (1995)"},{"key":"9_CR4","first-page":"469","volume-title":"IFAC Symposium on System Structure and Control","author":"E. Asarin","year":"1998","unstructured":"Asarin, E., Maler, O., Pnueli, A., Sifakis, J.: Controller synthesis for timed automata. In: IFAC Symposium on System Structure and Control, pp. 469\u2013474. Elsevier, Amsterdam (1998)"},{"key":"9_CR5","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: Proc. of ICSOC 2003, pp. 43\u201358 (2003)","DOI":"10.1007\/978-3-540-24593-3_4"},{"issue":"2","key":"9_CR6","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.\u00a019(2), 429\u2013451 (2008)","journal-title":"Int. J. Found. Comput. Sci."},{"key":"9_CR7","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: Proc. of WWW 2003 (2003)","DOI":"10.1145\/775152.775210"},{"key":"9_CR8","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. Cardose","year":"2005","unstructured":"Cardose, 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":"9_CR9","unstructured":"De Giacomo, G., Sardi\u00f1a, S.: Automatic synthesis of new behaviors from a library of available behaviors. In: Proc. of IJCAI 2007, pp. 1866\u20131871 (2007)"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Gerede, C.E., Hull, R., Ibarra, O.H., Su, J.: Automated composition of e-services: Lookaheads. In: Proc. of ICSOC 2004 (2004)","DOI":"10.1145\/1035167.1035203"},{"key":"9_CR11","volume-title":"Automated Planning: Theory and Practice","author":"M. Ghallab","year":"2004","unstructured":"Ghallab, M., Nau, D., Traverso, P.: Automated Planning: Theory and Practice. Morgan Kauffman, San Francisco (2004)"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Henzinger, M.R., Henzinger, T.A., Kopke, P.W.: Computing simulations on finite and infinite graphs. In: Proc. of FOCS 1995, pp. 453\u2013462 (1995)","DOI":"10.1109\/SFCS.1995.492576"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Hull, R.: Web services composition: A story of models, automata, and logics. In: Proc. of SCC 2005 (2005)","DOI":"10.1109\/SCC.2005.108"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Hull, R., Benedikt, M., Christophides, V., Su, J.: E-Services: a Look Behind the Curtain. In: Proc. of PODS\u00a02003, pp. 1\u201314 (2003)","DOI":"10.1145\/773153.773154"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Jobstmann, B., Bloem, R.: Optimizations for LTL synthesis. In: Proc. FMCAD 2006, pp. 117\u2013124 (2006)","DOI":"10.1109\/FMCAD.2006.22"},{"key":"9_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"258","DOI":"10.1007\/978-3-540-73368-3_29","volume-title":"Computer Aided Verification","author":"B. Jobstmann","year":"2007","unstructured":"Jobstmann, B., Galler, S., Weiglhofer, M., Bloem, R.: Anzu: A tool for property synthesis. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol.\u00a04590, pp. 258\u2013262. Springer, Heidelberg (2007)"},{"key":"9_CR17","unstructured":"McIlraith, S., Son, T.C.: Adapting Golog for programming the semantic web. In: Proc. of KR 2002 (2002)"},{"key":"9_CR18","unstructured":"Milner, R.: An algebraic definition of simulation between programs. In: Proc. of IJCAI\u00a01971, pp. 481\u2013489 (1971)"},{"key":"9_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"274","DOI":"10.1007\/978-3-540-71389-0_20","volume-title":"Foundations of Software Science and Computational Structures","author":"A. Muscholl","year":"2007","unstructured":"Muscholl, A., Walukiewicz, I.: A lower bound on web services composition. In: Seidl, H. (ed.) FOSSACS 2007. LNCS, vol.\u00a04423, pp. 274\u2013286. Springer, Heidelberg (2007)"},{"issue":"11","key":"9_CR20","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/MC.2007.400","volume":"40","author":"M.P. Papazoglou","year":"2007","unstructured":"Papazoglou, M.P., Traverso, P., Dustdar, S., Leymann, F.: Service-oriented computing: State of the art and research challenges. IEEE Computer\u00a040(11), 38\u201345 (2007)","journal-title":"IEEE Computer"},{"key":"9_CR21","doi-asserted-by":"crossref","unstructured":"Pistore, M., Traverso, P., Bertoli, P., Marconi, A.: Automated Synthesis of Composite BPEL4WS Web Services. In: Proc. of ICWS 2005 (2005)","DOI":"10.1109\/ICWS.2005.27"},{"key":"9_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/11609773_24","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"N. Piterman","year":"2005","unstructured":"Piterman, N., Pnueli, A., Sa\u2019ar, Y.: Synthesis of reactive(1) designs. In: Emerson, E.A., Namjoshi, K.S. (eds.) VMCAI 2006. LNCS, vol.\u00a03855, pp. 364\u2013380. Springer, Heidelberg (2005)"},{"key":"9_CR23","unstructured":"Pnueli, A., Shahar, E.: The TLV system and its applications. Technical report, Weizmann Institute (1996)"},{"key":"9_CR24","unstructured":"Sardi\u00f1a, S., De Giacomo, G., Patrizi, F.: Behavior composition in the presence of failure. In: Proceedings of KR 2008 (2008)"},{"key":"9_CR25","unstructured":"Sardi\u00f1a, S., Patrizi, F., De Giacomo, G.: Automatic synthesis of a global behavior from multiple distributed behaviors. In: Proc. of AAAI 2007, pp. 1063\u20131069 (2007)"},{"key":"9_CR26","series-title":"Lecture Notes in Computer Science","first-page":"338","volume-title":"Correct Hardware Design and Verification Methods","author":"M. Vardi","year":"1999","unstructured":"Vardi, M., Fisler, K.: Bisimulation and model checking. In: Pierre, L., Kropf, T. (eds.) CHARME 1999. LNCS, vol.\u00a01703, pp. 338\u2013341. Springer, Heidelberg (1999)"},{"key":"9_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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.: 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)"}],"container-title":["Lecture Notes in Computer Science","Web Services and Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14458-5_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,2]],"date-time":"2019-06-02T02:10:06Z","timestamp":1559441406000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14458-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642144578","9783642144585"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14458-5_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}