{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:53:04Z","timestamp":1725490384864},"publisher-location":"London","reference-count":26,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781846288579"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-1-84628-858-6_23","type":"book-chapter","created":{"date-parts":[[2007,8,28]],"date-time":"2007-08-28T13:04:33Z","timestamp":1188306273000},"page":"223-234","source":"Crossref","is-referenced-by-count":3,"title":["Conformance Test of Federated Choreographies"],"prefix":"10.1007","author":[{"given":"J.","family":"Eder","sequence":"first","affiliation":[]},{"given":"M.","family":"Lehmann","sequence":"additional","affiliation":[]},{"given":"A.","family":"Tahamtan","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"Barros AP, Dumas M, Oaks P (2005) Standards for web service choreography and orchestration: Status and perspectives. Proc. of the 1st International Workshop on Web Service Choreography and Orchestration for Business Process Management, Nancy, France","DOI":"10.1007\/11678564_7"},{"issue":"10","key":"23_CR2","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1109\/MC.2003.1236471","volume":"36","author":"C. Peltz","year":"2003","unstructured":"Peltz C (2003) Web services orchestration and choreography. IEEE Computer. 36(10):46\u201352","journal-title":"IEEE Computer"},{"key":"23_CR3","unstructured":"Andrews T, et al (2003) Business process execution language for web services (bpel4ws). ver. 1.1, BEA, IBM, Microsoft, SAP, Siebel Systems"},{"key":"23_CR4","unstructured":"Kavantzas N, Burdett D, Ritzinger G (2004) Web services choreography description language (ws-cdl) 1.0. W3C Working Draft"},{"key":"23_CR5","unstructured":"Arkin A, et al (2002) Web Service Choreography Interface (wsci) 1.0. W3C"},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"Eder J, Lehmann M, Tahamtan A (2006) Choreographies as Federations of Choreographies and Orchestrations. Proc. of CoSS, Tucson, AZ, USA","DOI":"10.1007\/11908883_22"},{"issue":"4","key":"23_CR7","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1142\/S0218843004001012","volume":"13","author":"R.M. Dijkman","year":"2004","unstructured":"Dijkman RM, Dumas M (2004) Service-oriented design: A multi-viewpoint approach. Int. J. Cooperative Inf. Syst. 13(4):337\u2013368","journal-title":"Int. J. Cooperative Inf. Syst."},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Eder J, Gruber W (2002) A meta model for structured workflows supporting workflow transformations. Proc. of ADBIS, Bratislava, Slovakia","DOI":"10.1007\/3-540-45710-0_26"},{"key":"23_CR9","volume-title":"Data Access in Workflow Management Systems","author":"M. Lehmann","year":"2006","unstructured":"Lehmann M (2006) Data Access in Workflow Management Systems. Ph.D. Thesis, University of Klagenfurt, Austria"},{"issue":"1","key":"23_CR10","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W.M.P. Aalst Van der","year":"1998","unstructured":"Van der Aalst WMP (1998) The application of petri nets to workflow management. Journal of Circuits, Systems, and Computers. 8(1):21\u201366","journal-title":"Journal of Circuits, Systems, and Computers"},{"key":"23_CR11","unstructured":"Burdett D, Kavantzas N (2004) WS choreography model overview. W3C"},{"issue":"1\u20132","key":"23_CR12","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0304-3975(00)00321-2","volume":"270","author":"W.M.P. Aalst Van der","year":"2002","unstructured":"Van der Aalst WMP, Basten T (2002) Inheritance of workflows: an approach to tackling problems related to change. Theor. Comput. Sci. 270(1\u20132):125\u2013203","journal-title":"Theor. Comput. Sci."},{"key":"23_CR13","volume-title":"In Terms of Nets: System Design with Petri Nets and Process Algebra","author":"T. Basten","year":"1998","unstructured":"Basten T (1998) In Terms of Nets: System Design with Petri Nets and Process Algebra. Ph.D thesis, TU Eindhoven, The Netherlands"},{"key":"23_CR14","unstructured":"Van Glabbeek RJ, Weijland WP (1998) Branching time and abstraction in bisimulation semantics (extended abstract). Proc. of IFIP 11th World Comput. Congr. San Francisco, CA, USA"},{"issue":"3","key":"23_CR15","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1145\/233551.233556","volume":"43","author":"R.J. Glabbeek Van","year":"1996","unstructured":"Van Glabbeek RJ, Weijland WP (1996) Branching time and abstraction in bisimulation semantics. J. ACM. 43(3):555\u2013600","journal-title":"J. ACM."},{"issue":"4","key":"23_CR16","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata T (1989) Petri nets: Properties, analysis and applications. Proc. of IEEE. 77(4):541\u2013580","journal-title":"Proc. of IEEE."},{"issue":"3","key":"23_CR17","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1145\/356698.356702","volume":"9","author":"J.L. Peterson","year":"1977","unstructured":"Peterson JL (1977) Petri nets. ACM Comput. Surv. 9(3):223\u2013252","journal-title":"ACM Comput. Surv."},{"key":"23_CR18","doi-asserted-by":"crossref","unstructured":"Graf S (1986) A complete inference system for an algebra or regular acceptance models. Proc. of MFCS, Bratislava, Czechoslovakia","DOI":"10.1007\/BFb0016263"},{"issue":"4","key":"23_CR19","doi-asserted-by":"publisher","first-page":"896","DOI":"10.1145\/4221.4249","volume":"32","author":"M. Hennessy","year":"1985","unstructured":"Hennessy M (1985) Acceptance trees. J. ACM. 32(4):896\u2013928","journal-title":"J. ACM."},{"issue":"1","key":"23_CR20","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/0890-5401(90)90025-D","volume":"86","author":"P.C. Kanellakis","year":"1983","unstructured":"Kanellakis PC, Smolka SA (1983) Ccs expressions, finite state processes, and three problems of equivalence. Inf. Comput. 86(1):43\u201386","journal-title":"Inf. Comput."},{"key":"23_CR21","volume-title":"A Calculus of Communicating Systems","author":"R. Milner","year":"1982","unstructured":"Milner R (1982) A Calculus of Communicating Systems. Springer, New York"},{"key":"23_CR22","series-title":"NATO ASI Series F","volume-title":"Logics and Models of Concurrent Systems","author":"E.R. Olderog","year":"1985","unstructured":"Olderog ER (1985) Specification-oriented programming in TCSP. In: Krzysztof R (ed) Logics and Models of Concurrent Systems, NATO ASI Series F, volume 13, Springer, New York"},{"key":"23_CR23","first-page":"77","volume":"37","author":"J.A. Bergstra","year":"1985","unstructured":"Bergstra JA, Klop JW (1985) Algebra of communicating processes with abstraction. Comput. Sci. 37:77\u2013121","journal-title":"Comput. Sci."},{"issue":"3","key":"23_CR24","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/0020-0190(96)00034-8","volume":"58","author":"T. Basten","year":"1996","unstructured":"Basten T (1996) Branching bisimilarity is an equivalence indeed! Inf. Process. Lett. 58(3):141\u2013147","journal-title":"Inf. Process. Lett."},{"key":"23_CR25","volume-title":"proc. of ICALP","author":"J.F. Groote","year":"1990","unstructured":"Groote JF, Vaandrager FW (1990) An efficient algorithm for branching bisimulation and stuttering equivalence. proc. of ICALP, Warwick, England"},{"key":"23_CR26","doi-asserted-by":"crossref","unstructured":"Verbeek HMW, Van der Aalst WMP (2000) Woflan 2.0: A petri-net-based workflow diagnosis tool. Proc. of ICATPN, Aarhus, Denmark","DOI":"10.1007\/3-540-44988-4_28"}],"container-title":["Enterprise Interoperability II"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-84628-858-6_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,1]],"date-time":"2021-05-01T18:09:08Z","timestamp":1619892548000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-84628-858-6_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9781846288579"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-1-84628-858-6_23","relation":{},"subject":[]}}