{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T04:23:45Z","timestamp":1742963025214,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642298332"},{"type":"electronic","value":"9783642298349"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29834-9_3","type":"book-chapter","created":{"date-parts":[[2012,4,18]],"date-time":"2012-04-18T05:48:22Z","timestamp":1334728102000},"page":"17-31","source":"Crossref","is-referenced-by-count":0,"title":["Behavior Based Service Composition"],"prefix":"10.1007","author":[{"given":"Fangzhe","family":"Chang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pavithra","family":"Prabhakar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ramesh","family":"Viswanathan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"OASIS Standard Web Services Business Process Execution Language Version 2.0 (April 2007), http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/OS\/wsbpel-v2.0-OS.html"},{"issue":"1","key":"3_CR2","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1016\/S0304-3975(02)00442-5","volume":"303","author":"A. Arnold","year":"2003","unstructured":"Arnold, A., Vincent, A., Walukiewicz, I.: Games for synthesis of controllers with partial observation. Theoretical Computer Science\u00a0303(1), 7\u201334 (2003)","journal-title":"Theoretical Computer Science"},{"key":"3_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/978-3-540-87654-0_7","volume-title":"Engineering Societies in the Agents World VIII","author":"O. Aydin","year":"2008","unstructured":"Aydin, O., Cicekli, N.K., Cicekli, I.: Automated Web Services Composition with the Event Calculus. In: Artikis, A., O\u2019Hare, G.M.P., Stathis, K., Vouros, G.A. (eds.) ESAW 2007. LNCS (LNAI), vol.\u00a04995, pp. 142\u2013157. Springer, Heidelberg (2008)"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/3-540-47797-7_4","volume-title":"Algebraic and Coalgebraic Methods in the Mathematics of Program Construction","author":"R. Backhouse","year":"2002","unstructured":"Backhouse, R.: Galois Connections and Fixed Point Calculus. In: Blackhouse, R., Crole, R., Gibbons, J. (eds.) Algebraic and Coalgebraic Methods in the Mathematics of Program Construction. LNCS, vol.\u00a02297, pp. 89\u2013150. Springer, Heidelberg (2002)"},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-540-24593-3_4","volume-title":"Service-Oriented Computing - ICSOC 2003","author":"D. Berardi","year":"2003","unstructured":"Berardi, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Mecella, M.: Automatic Composition of E-services That Export Their Behavior. In: Orlowska, M.E., Weerawarana, S., Papazoglou, M.P., Yang, J. (eds.) ICSOC 2003. LNCS, vol.\u00a02910, pp. 43\u201358. Springer, Heidelberg (2003)"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Berardi, D., Mecella, M., Calvanese, D.: Composing web services with nondeterministic behavior. In: IEEE International Conference on Web Services, ICWS 2006 (2006)","DOI":"10.1109\/ICWS.2006.45"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Bradfield, J., Stirling, C.: Modal mu-calculi. In: Handbook of Modal Logic, pp. 721\u2013756. Elsevier (2007)","DOI":"10.1016\/S1570-2464(07)80015-2"},{"key":"3_CR8","unstructured":"Casati, F., Ilnicki, S., Jin, L.-J., Krishnamoorthy, V., Shan, M.-C.: eFlow: A platform for developing and managing composite e-services. In: Proc. of the Academia\/Industry Working Conference on Research Challenges (AIWORC 2000), Washington, DC, USA (2000)"},{"key":"3_CR9","unstructured":"Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web services description language (WSDL) 1.1 (2001), http:\/\/www.w3.org\/TR\/wsdl"},{"key":"3_CR10","unstructured":"De Giacomo, G., Sardina, S.: Automatic synthesis of new behaviors from a library of available behaviors. In: Proc. of IJCAI 2007, pp. 1866\u20131871 (2007)"},{"key":"3_CR11","unstructured":"Fielding, R.: Architectural Styles and the Design of Network-based Software Architectures. PhD thesis, University of California, Irvine (2000), http:\/\/www.ics.uci.edu\/~fielding\/pubs\/dissertation\/top.html"},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Fielding, R., Taylor, R.N.: Principled design of the modern web architecture. In: Proc. of 22nd International Conference on Software Engineering (ICSE), Limerick, Ireland (2000)","DOI":"10.1145\/337180.337228"},{"key":"3_CR13","unstructured":"Hadley, M.: Web application description language (WADL). TR-2006-153 (April 2006), https:\/\/wadl.dev.java.net\/wadl20061109.pdf"},{"issue":"6","key":"3_CR14","doi-asserted-by":"publisher","first-page":"2079","DOI":"10.1137\/S0363012902409982","volume":"44","author":"S. Jiang","year":"2006","unstructured":"Jiang, S., Kumar, R.: Supervisory control of discrete event systems with CTL* temporal logic specifications. SIAM J. Control Optim.\u00a044(6), 2079\u20132103 (2006)","journal-title":"SIAM J. Control Optim."},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Kozen, D., Tiuryn, J.: Logics of programs. In: Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B), pp. 789\u2013840 (1990)","DOI":"10.1016\/B978-0-444-88074-1.50019-6"},{"key":"3_CR16","volume-title":"Modeling and Control of Logical Discrete Event Systems","author":"R. Kumar","year":"1999","unstructured":"Kumar, R., Garg, V.K.: Modeling and Control of Logical Discrete Event Systems. Kluwer Academic Publishers, Norwell (1999)"},{"key":"3_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/3-540-44618-4_9","volume-title":"CONCUR 2000 - Concurrency Theory","author":"O. Kupferman","year":"2000","unstructured":"Kupferman, O., Madhusudan, P., Thiagarajan, P.S., Vardi, M.Y.: Open Systems in Reactive Environments: Control and Synthesis. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol.\u00a01877, pp. 92\u2013107. Springer, Heidelberg (2000)"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Levesque, H.J., Reiter, R., Lesperance, Y., Lin, F., Scherl, R.B.: GOLOG: A logic programming language for dynamic domains. Journal of Logic Programming\u00a031(1-3) (1997)","DOI":"10.1016\/S0743-1066(96)00121-5"},{"key":"3_CR19","unstructured":"Mcilraith, S., Son, T.C.: Adapting Golog for composition of semantic Web services. In: Proc. of International Conference on Principles of Knowledge Representation and Reasoning, KR 2002 (2002)"},{"key":"3_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-540-78789-1_8","volume-title":"Software Composition","author":"S. Nanz","year":"2008","unstructured":"Nanz, S., Tolstrup, T.K.: Goal-Oriented Composition of Services. In: Pautasso, C., Tanter, \u00c9. (eds.) SC 2008. LNCS, vol.\u00a04954, pp. 109\u2013124. Springer, Heidelberg (2008)"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Pathak, J., Basu, S., Lutz, R., Honavar, V.: Selecting and composing web services through iterative reformulation of functional specifications. In: Proc. of 18th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2006), Washington, DC, USA (2006)","DOI":"10.1109\/ICTAI.2006.102"},{"key":"3_CR22","doi-asserted-by":"crossref","unstructured":"Ramadge, P.J.G., Wonham, W.M.: The control of discrete event systems. Proceedings of the IEEE\u00a077 (1989)","DOI":"10.1109\/5.21072"},{"issue":"4-5","key":"3_CR23","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1016\/j.is.2005.02.005","volume":"31","author":"J. Rao","year":"2006","unstructured":"Rao, J., K\u00fcngas, P., Matskin, M.: Composition of semantic web services using linear logic theorem proving. Information Systems\u00a031(4-5), 340\u2013360 (2006)","journal-title":"Information Systems"},{"issue":"1","key":"3_CR24","doi-asserted-by":"crossref","first-page":"77","DOI":"10.3233\/APO-2005-000008","volume":"1","author":"D. Roman","year":"2005","unstructured":"Roman, D., Keller, U., Lausen, H., de Bruijn, J., Lara, R., Stollberg, M., Polleres, A., Feier, C., Bussler, C., Fensel, D.: Web service modeling ontology. Applied Ontology\u00a01(1), 77\u2013106 (2005)","journal-title":"Applied Ontology"},{"key":"3_CR25","unstructured":"Sardina, S., Patrizi, F., De Giacomo, G.: Automatic synthesis of a global behavior from multiple distributed behaviors. In: AAAI 2007: Proceedings of the 22nd National Conference on Artificial Intelligence, pp. 1063\u20131069. AAAI Press (2007)"},{"issue":"1","key":"3_CR26","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/j.websem.2003.07.002","volume":"1","author":"K. Sycara","year":"2003","unstructured":"Sycara, K., Paolucci, M., Ankolekar, A., Srinivasan, N.: Automated discovery, interaction and composition of semantic web services. Journal of Web Semantics\u00a01(1), 27\u201346 (2003)","journal-title":"Journal of Web Semantics"},{"key":"3_CR27","unstructured":"W3C Recommendation. SOAP version 1.2 (April 2007), http:\/\/www.w3.org\/TR\/soap12"},{"key":"3_CR28","doi-asserted-by":"crossref","unstructured":"Wu, D., Sirin, E., Hendler, J.A., Nau, D.S., Parsia, B.: Automatic web services composition using shop2. In: Proc. of World Wide Web Conference (2003)","DOI":"10.21236\/ADA448067"}],"container-title":["Lecture Notes in Computer Science","Web Services and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29834-9_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T23:37:12Z","timestamp":1742945832000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29834-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642298332","9783642298349"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29834-9_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}