{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T05:01:50Z","timestamp":1764306110721,"version":"3.40.3"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031510595"},{"type":"electronic","value":"9783031510601"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-51060-1_13","type":"book-chapter","created":{"date-parts":[[2024,1,28]],"date-time":"2024-01-28T07:02:08Z","timestamp":1706425328000},"page":"359-374","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Enforced Dependencies for\u00a0Active Objects"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8763-5548","authenticated-orcid":false,"given":"Violet Ka I","family":"Pun","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1031-6936","authenticated-orcid":false,"given":"Volker","family":"Stolz","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,1,29]]},"reference":[{"issue":"4","key":"13_CR1","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/j.is.2004.02.002","volume":"30","author":"WM van der Aalst","year":"2005","unstructured":"van der Aalst, W.M., ter Hofstede, A.H.: YAWL: yet another workflow language. Inf. Syst. 30(4), 245\u2013275 (2005)","journal-title":"Inf. Syst."},{"key":"13_CR2","doi-asserted-by":"publisher","unstructured":"Ali, M.R., Lamo, Y., Pun, V.K.I: Cost analysis for a resource sensitive workflow modelling language. Sci. Comput. Program. 225, 102896 (2023). https:\/\/doi.org\/10.1016\/j.scico.2022.102896","DOI":"10.1016\/j.scico.2022.102896"},{"key":"13_CR3","doi-asserted-by":"publisher","unstructured":"de Boer, F., et al.: A survey of active object languages. ACM Comput. Surv. 50(5), 76:1\u201376:39 (2017). https:\/\/doi.org\/10.1145\/3122848","DOI":"10.1145\/3122848"},{"key":"13_CR4","unstructured":"Bouchbout, K., Alimazighi, Z.: Inter-organizational business processes modelling framework. In: Proceedings of II 15th East-European Conference on Advances in Databases and Information Systems, ADBIS 2011, vol. 789, pp. 45\u201354. CEUR-WS.org (2011)"},{"key":"13_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/b138812","volume-title":"A Theory of Distributed Objects","author":"D Caromel","year":"2005","unstructured":"Caromel, D., Henrio, L.: A Theory of Distributed Objects. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/b138812"},{"key":"13_CR6","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1016\/j.csi.2011.06.002","volume":"34","author":"M Chinosi","year":"2012","unstructured":"Chinosi, M., Trombetta, A.: BPMN: an introduction to the standard. Comput. Stand. Interfaces 34, 124\u2013134 (2012)","journal-title":"Comput. Stand. Interfaces"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Dourish, P.: Process descriptions as organisational accounting devices: the dual use of workflow technologies. In: Proceedings of the 2001 International ACM SIGGROUP Conference on Supporting Group Work, pp. 52\u201360. ACM (2001)","DOI":"10.1145\/500286.500297"},{"volume-title":"Process-Aware Information Systems: Bridging People and Software Through Process Technology","year":"2005","key":"13_CR8","unstructured":"Dumas, M., van der Aalst, W.M.P., ter Hofstede, A.H.M. (eds.): Process-Aware Information Systems: Bridging People and Software Through Process Technology. Wiley, Hoboken (2005)"},{"key":"13_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/3-540-45441-1_7","volume-title":"UML 2001 \u2014 The Unified Modeling Language. Modeling Languages, Concepts, and Tools","author":"M Dumas","year":"2001","unstructured":"Dumas, M., ter Hofstede, A.H.M.: UML activity diagrams as a workflow specification language. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, pp. 76\u201390. Springer, Heidelberg (2001). https:\/\/doi.org\/10.1007\/3-540-45441-1_7"},{"key":"13_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/BFb0035389","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"K Jensen","year":"1997","unstructured":"Jensen, K.: A brief introduction to coloured petri nets. In: Brinksma, E. (ed.) TACAS 1997. LNCS, vol. 1217, pp. 203\u2013208. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/BFb0035389"},{"key":"13_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1007\/978-3-642-25271-6_8","volume-title":"Formal Methods for Components and Objects","author":"EB Johnsen","year":"2011","unstructured":"Johnsen, E.B., H\u00e4hnle, R., Sch\u00e4fer, J., Schlatte, R., Steffen, M.: ABS: a core language for abstract behavioral specification. In: Aichernig, B.K., de Boer, F.S., Bonsangue, M.M. (eds.) FMCO 2010. LNCS, vol. 6957, pp. 142\u2013164. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-25271-6_8"},{"key":"13_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/978-3-030-64354-6_4","volume-title":"Deductive Software Verification: Future Perspectives","author":"E Kamburjan","year":"2020","unstructured":"Kamburjan, E., Din, C.C., H\u00e4hnle, R., Johnsen, E.B.: Behavioral contracts for cooperative scheduling. In: Ahrendt, W., Beckert, B., Bubel, R., H\u00e4hnle, R., Ulbrich, M. (eds.) Deductive Software Verification: Future Perspectives. LNCS, vol. 12345, pp. 85\u2013121. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-64354-6_4"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Ouyang, C., Dumas, M., ter Hofstede, A.H., van der Aalst, W.M.: From BPMN process models to BPEL web services. In: Proceedings of 2006 IEEE International Conference on Web Services, ICWS 2006, pp. 285\u2013292. IEEE (2006)","DOI":"10.1109\/ICWS.2006.67"},{"key":"13_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30409-5","volume-title":"Enabling Flexibility in Process-Aware Information Systems - Challenges, Methods","author":"M Reichert","year":"2012","unstructured":"Reichert, M., Weber, B.: Enabling Flexibility in Process-Aware Information Systems - Challenges, Methods. Technologies. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-30409-5"},{"key":"13_CR15","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/8085.001.0001","volume-title":"Workflow Patterns: The Definitive Guide","author":"N Russell","year":"2016","unstructured":"Russell, N., van der Aalst, W.M.P., ter Hofstede, A.H.M.: Workflow Patterns: The Definitive Guide. MIT Press, Cambridge (2016)"}],"container-title":["Lecture Notes in Computer Science","Active Object Languages: Current Research Trends"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-51060-1_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,14]],"date-time":"2024-06-14T14:04:58Z","timestamp":1718373898000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-51060-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031510595","9783031510601"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-51060-1_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"29 January 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}