{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T00:27:42Z","timestamp":1742948862457,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":86,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642019173"},{"type":"electronic","value":"9783642019180"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-01918-0_3","type":"book-chapter","created":{"date-parts":[[2009,5,21]],"date-time":"2009-05-21T06:29:47Z","timestamp":1242887387000},"page":"89-157","source":"Crossref","is-referenced-by-count":29,"title":["Synthesis and Composition of Web Services"],"prefix":"10.1007","author":[{"given":"Annapaola","family":"Marconi","sequence":"first","affiliation":[]},{"given":"Marco","family":"Pistore","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"unstructured":"ActiveBPEL. The Open Source BPEL Engine, http:\/\/www.activebpel.org","key":"3_CR1"},{"doi-asserted-by":"crossref","unstructured":"Akkiraju, R., Srivastava, B., Ivan, A., Goodwin, R., Syeda-Mahmood, T.: Semaplan: Combining planning with semantic matching to achieve web service composition. In: Proc. of IEEE International Conference on Web Services, ICWS 2006 (2006)","key":"3_CR2","DOI":"10.1109\/ICWS.2006.119"},{"unstructured":"Amazon Services. AWSECommerceService WSDL Specification (2006), http:\/\/aws.amazon.com\/","key":"3_CR3"},{"unstructured":"Amazon Services. Amazon E-Commerce Service - Developer Guide (2007), http:\/\/developer.amazonwebservices.com\/","key":"3_CR4"},{"doi-asserted-by":"crossref","unstructured":"Ambite, J.L., Kapoor, D.: Argos: a framework for automatically generating data processing workflows. In: Proc. of the 8th annual international conference on Digital government research, dg.o 2007 (2007)","key":"3_CR5","DOI":"10.1145\/1146598.1146685"},{"unstructured":"Andrews, T., Curbera, F., Dolakia, H., Goland, J., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weeravarana, S.: Business Process Execution Language for Web Services, version 1.1 (2003)","key":"3_CR6"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/3-540-48005-6_27","volume-title":"The Semantic Web - ISWC 2002","author":"A. Ankolekar","year":"2002","unstructured":"Ankolekar, A., Burstein, M., Hobbs, J., Lassila, O., Martin, D., Mcllraith, S., Narayanan, S.: DAML-S: semantic markup for web services. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol.\u00a02342, p. 348. Springer, Heidelberg (2002)"},{"issue":"4","key":"3_CR8","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1504\/IJBPIM.2006.012622","volume":"1","author":"D. Ardagna","year":"2006","unstructured":"Ardagna, D., Pernici, B.: Dynamic web service composition with QoS constraints. International Journal of Business Process Integration and Management\u00a01(4), 233\u2013243 (2006)","journal-title":"International Journal of Business Process Integration and Management"},{"unstructured":"ASTRO. Project ASTRO: Supporting the Composition of Distributed Business Processes, http:\/\/astroproject.org","key":"3_CR9"},{"unstructured":"Baresi, L., Maurino, A., Modalfieri, S.: Workflow partitioning in mobile information systems. In: Proc. of IFIP TC8 Working Conference on Mobile Systems (2004)","key":"3_CR10"},{"doi-asserted-by":"crossref","unstructured":"Benatallah, B., Dumas, M., Fauvet, M., Rabhi, F.: Towards patterns of web services composition (2002)","key":"3_CR11","DOI":"10.1007\/978-1-4471-0097-3_10"},{"unstructured":"Benatallah, B., Dumas, M., Sheng, Q., Ngu, A.: Declarative composition and peer-to-peer provisioning of dynamic web services. In: Proc. of the International Conference on Data Engineering, ICDE 2002 (2002)","key":"3_CR12"},{"unstructured":"Berardi, D.: Automatic Service Composition: Models, Techniques and Tools. Ph.D Thesis (2005)","key":"3_CR13"},{"unstructured":"Berardi, D., Calvanese, D., De Giacomo, G., Hull, R., Mecella, M.: Automatic Composition of Transition-based Semantic Web Services with Messaging. In: Proc. of the 31st VLDB Conference, VLDB 2005 (2005)","key":"3_CR14"},{"key":"3_CR15","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 behaviour. 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_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"520","DOI":"10.1007\/11596141_43","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"D. Berardi","year":"2005","unstructured":"Berardi, D., Calvanese, D., De Giacomo, G., Mecella, M.: Composition of Services with Nondeterministic Observable Behaviour. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol.\u00a03826, pp. 520\u2013526. Springer, Heidelberg (2005)"},{"key":"3_CR17","volume-title":"Graphs and Hypergraphs","author":"C. Berge","year":"1973","unstructured":"Berge, C.: Graphs and Hypergraphs. North-Holland, Amsterdam (1973)"},{"key":"3_CR18","volume-title":"Hypergraphs: Combinatorics of Finite Sets","author":"C. Berge","year":"1989","unstructured":"Berge, C.: Hypergraphs: Combinatorics of Finite Sets. North-Holland, Amsterdam (1989)"},{"unstructured":"Berglund, A., Boag, S., Chamberlin, D., Ferndez, M.F., Kay, M., Robie, J., Sim\u00e9on, J.: XML Path Language, XPath 2.0 (2007), http:\/\/www.w3.org\/TR\/xpath20\/","key":"3_CR19"},{"unstructured":"Bertoli, P., Cimatti, A., Pistore, M., Roveri, M., Traverso, P.: MBP: a Model Based Planner. In: Proc. of IJCAI 2001 workshop on Planning under Uncertainty and Incomplete Information (2001)","key":"3_CR20"},{"unstructured":"Bertoli, P., Cimatti, A., Pistore, M., Traverso, P.: A Framework for Planning with Extended Goals under Partial Observability. In: Proc. ICAPS 2003 (2003)","key":"3_CR21"},{"unstructured":"Bertoli, P., Cimatti, A., Roveri, M., Traverso, P.: Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking. In: Proc. IJCAI 2001 (2001)","key":"3_CR22"},{"key":"3_CR23","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/0004-3702(77)90014-5","volume":"9","author":"H. Boley","year":"1977","unstructured":"Boley, H.: Directed recursive labelnode hypergraphs: a new representation language. Artificial Intelligence\u00a09, 49\u201385 (1977)","journal-title":"Artificial Intelligence"},{"key":"3_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1007\/11596141_17","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"A. Brogi","year":"2005","unstructured":"Brogi, A., Popescu, R.: Towards Semi-automated Workflow-Based Aggregation of Web Services. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol.\u00a03826, pp. 214\u2013227. Springer, Heidelberg (2005)"},{"issue":"C-35","key":"3_CR25","doi-asserted-by":"publisher","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"8","author":"R.E. Bryant","year":"1986","unstructured":"Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. IEEE Transactions on Computers\u00a08(C-35), 677\u2013691 (1986)","journal-title":"IEEE Transactions on Computers"},{"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: In Proc. of the 12th international conference on World Wide Web (WWW 2003), pp. 403\u2013410 (2003)","key":"3_CR26","DOI":"10.1145\/775152.775210"},{"doi-asserted-by":"crossref","unstructured":"Burch, J.R., Clarke, E.M., McMillan, K.L., Dill, D.L., Hwang, L.J.: Symbolic model checking: 1020 states and beyond. In: Proc. of Symp. Logic in Computer Science, pp. 428\u2013439 (1990)","key":"3_CR27","DOI":"10.1109\/LICS.1990.113767"},{"unstructured":"Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web Service Description Language (WSDL), version 1.1 (2001)","key":"3_CR28"},{"key":"3_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/3-540-63912-8_81","volume-title":"Recent Advances in AI Planning","author":"A. Cimatti","year":"1997","unstructured":"Cimatti, A., Giunchiglia, F., Giunchiglia, E., Traverso, P.: Planning via model checking: A decision procedure for ar. In: Steel, S. (ed.) ECP 1997. LNCS, vol.\u00a01348, pp. 130\u2013142. Springer, Heidelberg (1997)"},{"doi-asserted-by":"crossref","unstructured":"Cimatti, A., Giunchiglia, F., Giunchiglia, E., Traverso, P.: Planning as model checking. In: Proc. of ECP, pp. 1\u201320 (1999)","key":"3_CR30","DOI":"10.1007\/10720246_1"},{"issue":"1-2","key":"3_CR31","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/S0004-3702(02)00374-0","volume":"147","author":"A. Cimatti","year":"2003","unstructured":"Cimatti, A., Pistore, M., Roveri, M., Traverso, P.: Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking. Artificial Intelligence\u00a0147(1-2), 35\u201384 (2003)","journal-title":"Artificial Intelligence"},{"unstructured":"Dal Lago, U., Pistore, M., Traverso, P.: Planning with a Language for Extended Goals. In: Proc. AAAI 2002 (2002)","key":"3_CR32"},{"unstructured":"ActiveBPEL Designer. The Active Endpoints BPEL Designer, http:\/\/www.active-endpoints.com","key":"3_CR33"},{"key":"3_CR34","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1504\/IJWGS.2005.007545","volume":"1","author":"S. Dustdar","year":"2005","unstructured":"Dustdar, S., Schreiner, W.: A survey on web services composition.. Int. J. Web and Grid Services\u00a01, 1\u201330 (2005)","journal-title":"Int. J. Web and Grid Services"},{"key":"3_CR35","series-title":"Formal Models and Semantics","volume-title":"Handbook of Theoretical Computer Science","author":"E.A. Emerson","year":"1990","unstructured":"Emerson, E.A.: Temporal and modal logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science. Formal Models and Semantics, vol.\u00a0B. Elsevier, Amsterdam (1990)"},{"unstructured":"Erol, K., Hendler, J., Nau, D.: Semantics for HTN planning (1994)","key":"3_CR36"},{"unstructured":"Erol, K., Hendler, J., Nau, D.: UMCP: A sound and complete procedure for hierarchical task-network planning. In: Proc. Artificial Intelligence Planning Systems Symposium, pp. 249\u2013254 (1994)","key":"3_CR37"},{"unstructured":"W3C Semantic\u00a0Annotations for Web Service Description Language Working\u00a0Group. Semantic Annotations for WSDL and XML Schema, SAWSDL (2007), http:\/\/www.w3.org\/TR\/sawsdl\/","key":"3_CR38"},{"doi-asserted-by":"crossref","unstructured":"Fujii, K., Suda, T.: Dynamic service composition using semantic information. In: Proc. of International Conference on Service Oriented Computing, ICSOC 2004 (2004)","key":"3_CR39","DOI":"10.1145\/1035167.1035174"},{"issue":"1-2","key":"3_CR40","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/S0004-3702(00)00031-X","volume":"121","author":"G. Giacomo De","year":"2000","unstructured":"De Giacomo, G., Lesperance, Y., Levesque, H.J.: Congolog, a concurrent programming language based on the situation calculus. Artificial Intelligence\u00a0121(1-2), 109\u2013169 (2000)","journal-title":"Artificial Intelligence"},{"key":"3_CR41","doi-asserted-by":"publisher","first-page":"737","DOI":"10.1145\/322276.322285","volume":"28","author":"S. Gnesi","year":"1981","unstructured":"Gnesi, S., Montanari, U., Martelli, A.: Dynamic programming as graph searching: an algebraic approach. J. Assoc. Comp. Mach.\u00a028, 737\u2013751 (1981)","journal-title":"J. Assoc. Comp. Mach."},{"doi-asserted-by":"crossref","unstructured":"Hull, R., Benedikt, M., Christophides, V., Su, J.: E-Services: A Look Behind the Curtain. In: Proc. PODS 2003 (2003)","key":"3_CR42","DOI":"10.1145\/773153.773154"},{"doi-asserted-by":"crossref","unstructured":"Kazhamiakin, R.: Formal Analysis of Web Service Compositions. Ph.D Thesis (2007)","key":"3_CR43","DOI":"10.1109\/ARES.2006.134"},{"unstructured":"Khalaf, R., Mukhi, N., Weerawarana, S.: Service Oriented Composition in BPEL4WS. In: Proc. WWW 2003 (2003)","key":"3_CR44"},{"unstructured":"Koehler, J., Srivastava, B.: Web Service Composition: Current Solutions and Open Problems. In: Proc. of ICAPS 2003 Workshop on Planning for Web Services (2003)","key":"3_CR45"},{"unstructured":"Kuster, U., Stern, M., Konig-Ries, B.: A classification of issures and approaches in service composition. In: Workshop Proc. First International Workshop on Engineering Service Compositions, WESC 2005 (2005)","key":"3_CR46"},{"doi-asserted-by":"crossref","unstructured":"Lecue, F., Delteil, A., Leger, A.: Applying abduction in semantic web service composition. In: Proc. of IEEE International Conference on Web Services, ICWS 2007 (2007)","key":"3_CR47","DOI":"10.1109\/ICWS.2007.42"},{"key":"3_CR48","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/S0743-1066(96)00121-5","volume":"31","author":"H.J. Levesque","year":"1997","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, 59\u201383 (1997)","journal-title":"Journal of Logic Programming"},{"key":"3_CR49","doi-asserted-by":"publisher","first-page":"243","DOI":"10.1016\/0004-3702(76)90006-0","volume":"7","author":"G. Levi","year":"1976","unstructured":"Levi, G., Sirovich, F.: Generalized And\/Or graphs. Artificial Intelligence\u00a07, 243\u2013259 (1976)","journal-title":"Artificial Intelligence"},{"unstructured":"Marconi, A., Pistore, M., Traverso, P.: Specifying Data-Flow Requirements for the Automated Composition of Web Services. In: Proc. of Fourth IEEE International Conference on Software Engineering and Formal Methods, SEFM 2006 (2006)","key":"3_CR50"},{"doi-asserted-by":"crossref","unstructured":"Marconi, A., Pistore, M., Traverso, P.: Automated Web Service Composition at Work: the Amazon\/MPS Case Study. In: Proc. of IEEE International Conference on Web Services, ICWS 2007 (2007)","key":"3_CR51","DOI":"10.1109\/ICWS.2007.50"},{"unstructured":"Marconi, A., Pistore, M., Traverso, P.: Automated Web Service Composition in Practice: from Composition Requirements Specification to Process Run. In: Proc. of 2nd European Young Researchers Workshop on Service Oriented Computing, YRSOC 2007 (2007)","key":"3_CR52"},{"unstructured":"Marconi, A.: Automated Process-level Composition of Web Services: from Requirements Specification to Process Run. Ph.D thesis, Univerity of Trento (2008)","key":"3_CR53"},{"unstructured":"Martelli, A., Montanari, U.: Additive AND\/OR graphs. In: Proc. IJCAI, vol.\u00a03 (1973)","key":"3_CR54"},{"unstructured":"McCarthy, J.: Situations, actions and causal laws (1968)","key":"3_CR55"},{"unstructured":"McIlraith, S., Fadel, R.: Planning with Complex Actions. In: Proc. NMR 2002 (2002)","key":"3_CR56"},{"unstructured":"McIlraith, S., Son, S.: Adapting Golog for Composition of Semantic Web Services. In: Proc. of the Eighth International Conference on Knowledge Representation and Reasoning, KR 2002 (2002)","key":"3_CR57"},{"issue":"6","key":"3_CR58","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1109\/MIC.2004.58","volume":"8","author":"N. Milanovic","year":"2004","unstructured":"Milanovic, N., Malek, M.: Current solutions for web service composition. IEEE Internet Computing\u00a08(6), 51\u201359 (2004)","journal-title":"IEEE Internet Computing"},{"doi-asserted-by":"crossref","unstructured":"Nagarajan, M., Verma, K., Sheth, A.P., Miller, J.A., Lathem, J.: Semantic interoperability of web services - challenges and experiences. In: Proc. of IEEE International Conference on Web Services, ICWS 2006 (2006)","key":"3_CR59","DOI":"10.1109\/ICWS.2006.116"},{"doi-asserted-by":"crossref","unstructured":"Nanda, M.G., Chandra, S., Sarkar, V.: Decentralizing execution of composite web services. In: Proc. of 19th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA (2004)","key":"3_CR60","DOI":"10.1145\/1028976.1028991"},{"doi-asserted-by":"crossref","unstructured":"Narayanan, S., McIlraith, S.: Simulation, Verification and Automated Composition of Web Services. In: Proc. of the Eleventh International Conference on World Wide Web, WWW 2002 (2002)","key":"3_CR61","DOI":"10.1145\/511446.511457"},{"key":"3_CR62","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1613\/jair.1141","volume":"20","author":"D. Nau","year":"2003","unstructured":"Nau, D., Au, T., Ilghami, O., Kuter, U., Murdock, W., Wu, D., Yaman, F.: SHOP2: An HTN planning system. Journal of Artificial Intelligence Research\u00a020, 379\u2013404 (2003)","journal-title":"Journal of Artificial Intelligence Research"},{"unstructured":"Nau, D., Cao, Y., Lotem, A., Muroz-Avila, H.: Shop: Simple hierarchical ordered planner. In: Proc. of the Sixteenth International Joint Conference on Artificial Intelligence, IJCAI 1999 (1999)","key":"3_CR63"},{"unstructured":"Oracle. Oracle BPEL Process Manager, http:\/\/www.oracle.com\/appserver\/bpel_home.html","key":"3_CR64"},{"unstructured":"OWL-S. OWL-S: Semantic Markup for Web Services (OWL-S version 1.0) (2003)","key":"3_CR65"},{"unstructured":"Peer, J.: Web service composition as AI planning - a survey (2005)","key":"3_CR66"},{"unstructured":"Pistore, M., Marconi, A., Traverso, P., Bertoli, P.: Automated Composition of Web Services by Planning at the Knowledge Level. In: Proc. IJCAI 2005 (2005)","key":"3_CR67"},{"unstructured":"Pistore, M., Traverso, P., Bertoli, P.: Automated Composition of Web Services by Planning in Asynchronous Domains. In: Proc. ICAPS 2005 (2005)","key":"3_CR68"},{"doi-asserted-by":"crossref","unstructured":"Pistore, M., Traverso, P., Bertoli, P., Marconi, A.: Automated Synthesis of Composite BPEL4WS Web Services. In: Proc. of IEEE International Conference on Web Services, ICWS 2005 (2005)","key":"3_CR69","DOI":"10.1109\/ICWS.2005.27"},{"unstructured":"Ponnekanti, S., Fox, A.: SWORD: A Developer Toolkit for Web Service Composition. In: Proc. WWW 2002 (2002)","key":"3_CR70"},{"key":"3_CR71","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/978-3-540-30581-1_5","volume-title":"Semantic Web Services and Web Process Composition","author":"J. Rao","year":"2005","unstructured":"Rao, J., Su, X.: A survey of automated web service composition methods. In: Cardoso, J., Sheth, A.P. (eds.) SWSWPC 2004. LNCS, vol.\u00a03387, pp. 43\u201354. Springer, Heidelberg (2005)"},{"unstructured":"Sacerdoti, E.D.: Planning in a hierarchy of abstraction spaces. In: Proc. of the Third International Joint Conference on Artificial Intelligence, IJCAI 1973 (1973)","key":"3_CR72"},{"doi-asserted-by":"crossref","unstructured":"Sadiq, W., Sadiq, S., Schulz, K.: Model-driven distribution of collaborative business processes. In: Proc. of IEEE International Conference on Services Computing, SCC (2006)","key":"3_CR73","DOI":"10.1109\/SCC.2006.71"},{"unstructured":"Sirin, E., Hendler, J., Parsia, B.: Semi automatic composition of web services using semantic descriptions. In: Proc. ICEIS 2003 Workshop on Web Services: Modeling, Architecture and Infrastructure (2003)","key":"3_CR74"},{"unstructured":"Skogan, D., Gronmo, R., Solheim, I.: Web Service Composition in UML. In: Proc. EDOC 2004 (2004)","key":"3_CR75"},{"unstructured":"Srivastava, B., Koehler, J.: Planning with Workflows - An Emerging Paradigm for Web Service Composition. In: Proc. of ICAPS 2004 Workshop on Planning and Scheduling for Web and Grid Services (2004)","key":"3_CR76"},{"unstructured":"Thakkar, S., Ambite, J.L., Knoblock, C.A.: A view integration approach to dynamic composition of web services. In: Proc. of the 1st ICAPS International Workshop on Planning for Web Services, P4WS 2003 (2003)","key":"3_CR77"},{"unstructured":"Thakkar, S., Ambite, J.L., Knoblock, C.A.: A data integration approach to automatically composing and optimizing web services. In: Proc. of the 2nd ICAPS International Workshop on Planning and Scheduling for Web and Grid Services (2004)","key":"3_CR78"},{"unstructured":"Thakkar, S., Ambite, J.L., Knoblock, C.A., Shahabi, C.: Dynamically composing web services from on-line sources. In: Proc. of 2002 AAAI Workshop on Intelligent Service Integration (2002)","key":"3_CR79"},{"key":"3_CR80","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1007\/11596141_39","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"M. Trainotti","year":"2005","unstructured":"Trainotti, M., Pistore, M., Calabrese, G., Zacco, G., Lucchese, G., Barbon, F., Bertoli, P., Traverso, P.: ASTRO: supporting the Composition and Execution of Web Services. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol.\u00a03826, pp. 495\u2013501. Springer, Heidelberg (2005)"},{"unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: Yet Another Workflow Language (2003)","key":"3_CR81"},{"doi-asserted-by":"crossref","unstructured":"Wohed, P., van der Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.M.: Analysis of Web Services Composition Languages: The Case of BPEL4WS. In: Proc. of the 22nd International Conference on Conceptual Modeling (2003)","key":"3_CR82","DOI":"10.1007\/978-3-540-39648-2_18"},{"key":"3_CR83","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.: Automating DAML-S Web Services Composition using SHOP2. In: Fensel, D., Sycara, K.P., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol.\u00a02870, pp. 195\u2013210. Springer, Heidelberg (2003)"},{"doi-asserted-by":"crossref","unstructured":"Yildiz, U., Godart, C.: Centralized versus decentralized conversation-based orchestrations. In: Proc. of 4th IEEE International Conference on Enterprise Computing, E-Commerce and E-Services, CEC-EEE 2007 (2007)","key":"3_CR84","DOI":"10.1109\/CEC-EEE.2007.28"},{"doi-asserted-by":"crossref","unstructured":"Yildiz, U., Godart, C.: Information flow control with decentralized service composition. In: Proc. of IEEE International Conference on Web Services, ICWS 2007 (2007)","key":"3_CR85","DOI":"10.1109\/ICWS.2007.109"},{"doi-asserted-by":"crossref","unstructured":"Zeng, L.: Dynamic web services composition. Ph.D Thesis (2003)","key":"3_CR86","DOI":"10.1145\/775152.775211"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Web Services"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01918-0_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T16:31:03Z","timestamp":1739118663000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01918-0_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642019173","9783642019180"],"references-count":86,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01918-0_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}