{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:34:02Z","timestamp":1725471242527},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540389019"},{"type":"electronic","value":"9783540389033"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11841760_15","type":"book-chapter","created":{"date-parts":[[2006,10,5]],"date-time":"2006-10-05T15:52:02Z","timestamp":1160063522000},"page":"209-224","source":"Crossref","is-referenced-by-count":9,"title":["A Framework for the Development and Execution of Horizontal Protocols in Open BPM Systems"],"prefix":"10.1007","author":[{"given":"J.","family":"Fabra","sequence":"first","affiliation":[]},{"given":"P.","family":"\u00c1lvarez","sequence":"additional","affiliation":[]},{"given":"J. A.","family":"Ba\u00f1ares","sequence":"additional","affiliation":[]},{"given":"J.","family":"Ezpeleta","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"Dayal, U., Hsu, M., Ladin, R.: Business Process Coordination: State of the Art, Trends and Open Issues. In: Proceedings of the 2th Very Large Databases Conference (VLDB 2001), Roma, Italy (2001)"},{"key":"15_CR2","volume-title":"Web Services. Concepts, Architectures and Applications","author":"G. Alonso","year":"2004","unstructured":"Alonso, G., Casati, F., Kuno, H., Machiraju, V.: Web Services. Concepts, Architectures and Applications. Springer, Heidelberg (2004)"},{"key":"15_CR3","unstructured":"Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: Business Process Execution Language for Web Services (BPEL4WS). Technical report, BEA Systems, IBM Corp., Microsoft Corp., SAP AG, and Siebel Systems (2003)"},{"key":"15_CR4","unstructured":"Arkin, A., Askary, S., Fordin, S., Kawaguchi, K., Orchard, D., Pogliani, S., Riemer, K., Struble, S., Takacsi-Nagy, P., Trickovic, I., Zimek, S.: Web Service Choreography Interface (WSCI). Technical report, World Wide Web Consortium (W3C) (2002)"},{"key":"15_CR5","unstructured":"Kavantzas, N., Burdett, D., Ritzinger, G., Fletcher, T., Lafon, Y.: Web Service Choreography Description Language (WS-CDL). Technical report, World Wide Web Consortium (W3C) (2004)"},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/978-3-540-30581-1_4","volume-title":"Semantic Web Services and Web Process Composition","author":"D. Martin","year":"2005","unstructured":"Martin, D., Paolucci, M., McIlraith, S., Burstein, M., McDermott, D., McGuinness, D., Parsia, B., Payne, T., Sabou, M., Solanki, M., Srinivasan, N., Sycara, K.: Bringing Semantics to Web Services: The OWL-S Approach. In: Cardoso, J., Sheth, A.P. (eds.) SWSWPC 2004. LNCS, vol.\u00a03387, pp. 26\u201342. Springer, Heidelberg (2005)"},{"key":"15_CR7","unstructured":"IBM, BEA Systems, Microsoft, Arjuna, Hitachi, IONA: Web Services Transactions specifications. Technical report, IBM (2005)"},{"key":"15_CR8","unstructured":"Arjuna, Fujitsu Software, IONA Technologies, Oracle and Sun Microsystems: Web Service Coordination Framework(WS-CF). Technical report (2004)"},{"key":"15_CR9","unstructured":"Ouyang, C., van der Aalst, W.M.P., Breutel, S., Dumas, M., ter Hofstede, A.H.M., Verbeek, H.M.W.: Formal Semantics and Analysis of Control Flow in WS-BPEL (Revised version). Research Report BPM-05-15, Business Process Management (BPM) Center, BPMcenter.org. (2005)"},{"key":"15_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/978-3-540-24721-0_15","volume-title":"Fundamental Approaches to Software Engineering","author":"D. Moldt","year":"2004","unstructured":"Moldt, D., Ortmann, J.: Dagen: A tool for automatic translation from DAML-S to high-level petri nets. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol.\u00a02984, pp. 209\u2013213. Springer, Heidelberg (2004)"},{"key":"15_CR11","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1145\/511446.511457","volume-title":"WWW 2002: Proceedings of the 11th International Conference on World Wide Web","author":"S. Narayanan","year":"2002","unstructured":"Narayanan, S., McIlraith, S.A.: Simulation, verification and automated composition of web services. In: WWW 2002: Proceedings of the 11th International Conference on World Wide Web, pp. 77\u201388. ACM Press, New York (2002)"},{"key":"15_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-540-31984-9_3","volume-title":"Fundamental Approaches to Software Engineering","author":"A. Martens","year":"2005","unstructured":"Martens, A.: Analyzing web service based business processes. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol.\u00a03442, pp. 19\u201333. Springer, Heidelberg (2005)"},{"key":"15_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/11596141_15","volume-title":"Service-Oriented Computing - ICSOC 2005","author":"P. \u00c1lvarez","year":"2005","unstructured":"\u00c1lvarez, P., Ba\u00f1ares, J.A., Ezpeleta, J.: Approaching Web Service Coordination and Composition by Means of Petri Nets. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol.\u00a03826, pp. 185\u2013197. Springer, Heidelberg (2005)"},{"key":"15_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-69108-1_1","volume-title":"Application and Theory of Petri Nets 1998","author":"R. Valk","year":"1998","unstructured":"Valk, R.: Petri Nets as Token Objects - An Introduction to Elementary Object Nets. In: Desel, J., Silva, M. (eds.) ICATPN 1998. LNCS, vol.\u00a01420, pp. 1\u201325. Springer, Heidelberg (1998)"},{"key":"15_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/11494744_10","volume-title":"Applications and Theory of Petri Nets 2005","author":"L. Cabac","year":"2005","unstructured":"Cabac, L., Duvigneau, M., Moldt, D., R\u00f6lke, H.: Modeling Dynamic Architectures Using Nets-Within-Nets. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol.\u00a03536, pp. 148\u2013167. Springer, Heidelberg (2005)"},{"key":"15_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/978-3-540-27834-4_12","volume-title":"Web Engineering","author":"D. Moldt","year":"2004","unstructured":"Moldt, D., Offermann, S., Ortmann, J.: Proposal for Petri Net Based Web Service Application Modeling. In: Koch, N., Fraternali, P., Wirsing, M. (eds.) ICWE 2004. LNCS, vol.\u00a03140, pp. 93\u201397. Springer, Heidelberg (2004)"},{"key":"15_CR17","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/0-387-23344-X_9","volume-title":"Extending Web Service Technologies: The use of Multi-Agent approaches","author":"L. Ardissono","year":"2004","unstructured":"Ardissono, L., Petrone, G., Segnan, M.: Enabling flexible interaction with web services. In: Extending Web Service Technologies: The use of Multi-Agent approaches, pp. 187\u2013208. Springer, Heidelberg (2004)"},{"key":"15_CR18","first-page":"313","volume-title":"Web services platform architecture","author":"S. Weerawarana","year":"2005","unstructured":"Weerawarana, S., Curbera, F., Leymann, F., Storey, T., Ferguson, D.: Modeling Business Processes: BPEL. In: Web services platform architecture, pp. 313\u2013340. Prentice-Hall, Englewood Cliffs (2005)"},{"key":"15_CR19","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1145\/944217.944234","volume":"46","author":"F. Curbera","year":"2003","unstructured":"Curbera, F., Khalaf, R., Mukhi, N., Tai, S., Weerawarana, S.: The next step in web services. Communications of the ACM\u00a046, 29\u201334 (2003)","journal-title":"Communications of the ACM"},{"key":"15_CR20","unstructured":"Arjuna Technologies, BEA Systems, Hitachi, IBM, IONA Technologies & Microsoft: Web service coordination (ws-coordination). Technical report (2005)"},{"key":"15_CR21","unstructured":"Arjuna Technologies, BEA Systems, Hitachi, IBM, IONA Technologies & Microsoft: Web Services Business Activity Framework (WS-BusinessActivity). Technical report (2005)"},{"key":"15_CR22","unstructured":"Arjuna Technologies, Fujitsu Limited, IONA Technologies, Sun Microsystems and Oracle Corporation: Web Services Composite Application Framework (WS-CAF). Technical report (2003)"},{"key":"15_CR23","unstructured":"Arjuna Technologies, Fujitsu Limited, IONA Technologies, Sun Microsystems and Oracle Corporation: Web Services Context (WS-Context). Technical report (2003)"},{"key":"15_CR24","doi-asserted-by":"crossref","unstructured":"Hanson, J.E., Nandi, P., Kumaran, S.: Conversation Support for Business Process Integration. In: Proceedings of the 6th International Enterprise Distributed Object Computing Conference (EDOC 2002), pp. 65\u201374 (2002)","DOI":"10.1109\/EDOC.2002.1137697"},{"key":"15_CR25","unstructured":"Petrone, G.: Managing flexible interaction with Web Services. In: AAMAS 2003 Workshop on Web-services and Agent-based Engineering (WSABE 2003), Melbourne, pp. 41\u201347 (2003)"},{"key":"15_CR26","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1145\/63334.63337","volume":"32","author":"N. Carriero","year":"1989","unstructured":"Carriero, N., Gelernter, D.: Linda in context. Communications of the ACM\u00a032, 444\u2013458 (1989)","journal-title":"Communications of the ACM"},{"key":"15_CR27","first-page":"1","volume":"1","author":"O. Kummer","year":"2001","unstructured":"Kummer, O.: Introduction to Petri Nets and Reference Nets. Sozionik Aktuell\u00a01, 1\u20139 (2001)","journal-title":"Sozionik Aktuell"},{"key":"15_CR28","unstructured":"Kummer, O., Wienberg, F.: Renew - the reference net workshop. In: Tool Demonstrations, 21st International Conference on Application and Theory of Petri Nets, Computer Science Department, Aarhus University, Aarhus, Denmark, pp. 87\u201389 (2000)"},{"key":"15_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/11823865_19","volume-title":"E-Commerce and Web Technologies","author":"J. Fabra","year":"2006","unstructured":"Fabra, J., \u00c1lvarez, P., Ba\u00f1ares, J.A., Ezpeleta, J.: RLinda: A Petri Net Based Implementation of the Linda Coordination Paradigm for Web Services Interactions. In: Bauknecht, K., Pr\u00f6ll, B., Werthner, H. (eds.) EC-Web 2006. LNCS, vol.\u00a04082, pp. 183\u2013192. Springer, Heidelberg (2006)"},{"key":"15_CR30","unstructured":"Alphaworks: Web Services Toolkit (WSTK). Technical report, IBM (2005)"}],"container-title":["Lecture Notes in Computer Science","Business Process Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11841760_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:17:05Z","timestamp":1619507825000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11841760_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540389019","9783540389033"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/11841760_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}