{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,14]],"date-time":"2025-06-14T08:46:15Z","timestamp":1749890775579,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662448595"},{"type":"electronic","value":"9783662448601"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-44860-1_12","type":"book-chapter","created":{"date-parts":[[2014,9,30]],"date-time":"2014-09-30T15:10:05Z","timestamp":1412089805000},"page":"202-218","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Choreography Modeling Compliance for Timed Business Models"],"prefix":"10.1007","author":[{"given":"Manuel I.","family":"Capel","sequence":"first","affiliation":[]},{"given":"Luis E.","family":"Mendoza","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,10,1]]},"reference":[{"key":"12_CR1","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/978-3-540-88710-2_3","volume-title":"Enterprise Information Systems","author":"WMP van der Aalst","year":"2008","unstructured":"van der Aalst, W.M.P.: Challenges in business process analysis. In: Filipe, J., Cordeiro, J., Cardoso, J. (eds.) ICEIS 2007. LNBIP, vol. 12, pp. 27\u201342. Springer, Heidelberg (2008)"},{"key":"12_CR2","unstructured":"Arkin, A., Askary, S., Bloch, B., Curbera, F., Goland, Y., Kartha, N., Liu, C.K., Thatte, S., Yendluri, P., Yiu, A. (eds.) Web Services Business Process Execution Language Version 2.0. Committee Draft. WS-BPEL TC OASIS (2005)"},{"key":"12_CR3","volume-title":"\u201cTerese\u201d Term Rewriting Systems","author":"M Bezem","year":"2003","unstructured":"Bezem, M., Klop, J.W., de Vrijer, R.: \u201cTerese\u201d Term Rewriting Systems. Cambridge University Press, Cambridge (2003)"},{"key":"12_CR4","unstructured":"Cerone, A.: From process algebra to visual language. In: Proceedings of the Conference on Application and Theory of Petri Nets: Formal Methods in Software Engineering and Defence Systems, vol. 12, Adelaide (2002)"},{"key":"12_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"362","DOI":"10.1007\/978-3-540-30464-7_29","volume-title":"Conceptual Modeling - ER 2004","author":"BF van Dongen","year":"2004","unstructured":"van Dongen, B.F., van der Aalst, W.M.P.: Multi-phase process mining: building instance graphs. In: Atzeni, P., Chu, W., Lu, H., Zhou, S., Ling, T.-W. (eds.) ER 2004. LNCS, vol. 3288, pp. 362\u2013376. Springer, Heidelberg (2004)"},{"key":"12_CR6","unstructured":"Formal Systems Europe Ltd. Failures-Divergence Refinement - FDR2 User Manual. Formal Systems Europe Ltd., Oxford (2005)"},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"Ma, S., Zhang, L., He, J.: Towards formalization and verification of unified business process model based on Pi calculus. In: Proceedings ACIS International Conference on Software Engineering Research, Management and Applications, pp. 93\u2013101 (2008)","DOI":"10.1109\/SERA.2008.23"},{"key":"12_CR8","unstructured":"Mendoza, L.E.: Una Contribuci\u00f3n a las T\u00e9cnicas Avanzadas de Verificaci\u00f3n de Procesos de Negocio (In Spanish). Ph.D. Dissertation book, University of Granada (ISBN:978-980-12-4957-3) (2011)"},{"key":"12_CR9","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/j.infsof.2011.08.004","volume":"54","author":"LE Mendoza","year":"2012","unstructured":"Mendoza, L.E., Capel, M.I., P\u00e9rez, M.A.: Conceptual framework for business processes compositional verification. Inf. Softw. Technol. 54, 149\u2013161 (2012)","journal-title":"Inf. Softw. Technol."},{"key":"12_CR10","series-title":"International Series in Computer Science","volume-title":"Communication and Concurrency","author":"R Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. International Series in Computer Science. Prentice Hall, Englewood Cliffs (1989). ISBN 0-13-115007-3"},{"key":"12_CR11","unstructured":"Web Services Business Process Execution Language Version 2.0 (2007). http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/wsbpel-v2.0.pdf"},{"key":"12_CR12","unstructured":"OMG. Business Process Model and Notation (BPMN) -version 2.0"},{"issue":"10","key":"12_CR13","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1109\/MC.2003.1236471","volume":"36","author":"C Peltz","year":"2003","unstructured":"Peltz, C.: Web services orchetration and choreography. IEEE Comput. 36(10), 46\u201352 (2003)","journal-title":"IEEE Comput."},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Poizat, P., Sala\u00fbn, G.: Checking the realizability of BPMN 2.0 choreographies. In: Proceedings 27th Simposium of Applied Computing, Riva del Garda (Italy), March 25\u201329, pp. 1927\u20131934. ACM (2012)","DOI":"10.1145\/2245276.2232095"},{"key":"12_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1007\/978-3-540-76848-7_3","volume-title":"On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS","author":"F Puhlmann","year":"2007","unstructured":"Puhlmann, F.: Soundness verification of business processes specified in the pi-calculus. In: Meersman, R., Tari, Z. (eds.) OTM 2007, Part I. LNCS, vol. 4803, pp. 6\u201323. Springer, Heidelberg (2007)"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Qiu, Z., et al.: Towards the theoretical foundation of choreography. In: Proceedings of the 16th International Conference on World Wide Web (WWW\u201907), pp. 973\u2013982 (2007)","DOI":"10.1145\/1242572.1242704"},{"key":"12_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/11678564_15","volume-title":"Business Process Management Workshops","author":"A Rozinat","year":"2006","unstructured":"Rozinat, A., van der Aalst, W.M.P.: Conformance testing: measuring the fit and appropriateness of event logs and process models. In: Bussler, C.J., Haller, A. (eds.) BPM 2005. LNCS, vol. 3812, pp. 163\u2013176. Springer, Heidelberg (2006)"},{"key":"12_CR18","volume-title":"Concurrent and Real-Time Systems - The CSP Approach","author":"SA Schneider","year":"2000","unstructured":"Schneider, S.A.: Concurrent and Real-Time Systems - The CSP Approach. Wiley, Chichester (2000)"},{"key":"12_CR19","unstructured":"Thatte, S.: XLANG: Web Services for Business Process Design. Microsoft Corporation (2001). http:\/\/www.gotdotnet.com\/team\/xml\/wsspace\/xlang-c"},{"key":"12_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"355","DOI":"10.1007\/978-3-540-88194-0_22","volume-title":"Formal Methods and Software Engineering","author":"PYH Wong","year":"2008","unstructured":"Wong, P.Y.H., Gibbons, J.: A process semantics for BPMN. In: Liu, S., Araki, K. (eds.) ICFEM 2008. LNCS, vol. 5256, pp. 355\u2013374. Springer, Heidelberg (2008)"},{"issue":"6","key":"12_CR21","doi-asserted-by":"publisher","first-page":"1661","DOI":"10.1145\/197320.197322","volume":"16","author":"J Zic","year":"1994","unstructured":"Zic, J.: Time-constrained buffer specifications in CSP+T and timed CSP. ACM TOPLAS 16(6), 1661\u20131674 (1994)","journal-title":"ACM TOPLAS"}],"container-title":["Lecture Notes in Business Information Processing","Enterprise and Organizational Modeling and Simulation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44860-1_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,24]],"date-time":"2023-01-24T08:27:44Z","timestamp":1674548864000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-44860-1_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662448595","9783662448601"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44860-1_12","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"1 October 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}