{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,27]],"date-time":"2025-11-27T23:03:05Z","timestamp":1764284585348,"version":"3.46.0"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783032120854"},{"type":"electronic","value":"9783032120861"}],"license":[{"start":{"date-parts":[[2025,11,27]],"date-time":"2025-11-27T00:00:00Z","timestamp":1764201600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,11,27]],"date-time":"2025-11-27T00:00:00Z","timestamp":1764201600000},"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":[[2026]]},"DOI":"10.1007\/978-3-032-12086-1_9","type":"book-chapter","created":{"date-parts":[[2025,11,26]],"date-time":"2025-11-26T08:36:17Z","timestamp":1764146177000},"page":"156-175","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Resource Contracts for\u00a0Active Objects"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5724-8187","authenticated-orcid":false,"given":"Charaf Eddine","family":"Dridi","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8763-5548","authenticated-orcid":false,"given":"Violet Ka I","family":"Pun","sequence":"additional","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":[[2025,11,27]]},"reference":[{"key":"9_CR1","unstructured":"van\u00a0der Aalst, W.M.P.: Exploring the process dimension of workflow management, Computing Science Reports, vol. 97\/13. Technische Universiteit Eindhoven (1997)"},{"issue":"4","key":"9_CR2","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/j.is.2004.02.002","volume":"30","author":"WMP van der Aalst","year":"2005","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.: YAWL: yet another workflow language. Inf. Syst. 30(4), 245\u2013275 (2005)","journal-title":"Inf. Syst."},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Ali, M.R., Lamo, Y., I Pun, V.K.: Cost analysis for a resource sensitive workflow modelling language. Sci. Comput. Program. 225, 102896 (2023)","DOI":"10.1016\/j.scico.2022.102896"},{"key":"9_CR4","doi-asserted-by":"publisher","unstructured":"de\u00a0Boer, 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":"9_CR5","unstructured":"Clavel, M., et al.: Maude manual (version 3.1). SRI International (2020)"},{"key":"9_CR6","doi-asserted-by":"publisher","unstructured":"Clavel, M., et al. (eds.): All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic. LNCS, vol.\u00a04350. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-71999-1","DOI":"10.1007\/978-3-540-71999-1"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Crary, K., Weirich, S.: Resource bound certification. In: Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 184\u2013198 (2000)","DOI":"10.1145\/325694.325716"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Dourish, P.: Process descriptions as organisational accounting devices: the dual use of workflow technologies. In: Proceedings of the 2001 ACM International Conference on Supporting Group Work, pp. 52\u201360 (2001)","DOI":"10.1145\/500286.500297"},{"key":"9_CR9","doi-asserted-by":"publisher","unstructured":"Dridi, C.E., I Pun, V.K., Stolz, V.: Resource contracts for active objects, October 2025. Source code: https:\/\/github.com\/selabhvl\/maude-active-objects. https:\/\/doi.org\/10.5281\/zenodo.17305152","DOI":"10.5281\/zenodo.17305152"},{"key":"9_CR10","doi-asserted-by":"publisher","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","DOI":"10.1007\/3-540-45441-1_7"},{"key":"9_CR11","doi-asserted-by":"publisher","first-page":"100711","DOI":"10.1016\/j.jlamp.2021.100711","volume":"123","author":"F Dur\u00e1n","year":"2021","unstructured":"Dur\u00e1n, F., Rocha, C., Sala\u00fcn, G.: Resource provisioning strategies for BPMN processes: specification and analysis using Maude. J. Logical Algebraic Meth. Program. 123, 100711 (2021)","journal-title":"J. Logical Algebraic Meth. Program."},{"key":"9_CR12","doi-asserted-by":"publisher","first-page":"101765","DOI":"10.1016\/j.is.2021.101765","volume":"104","author":"S Houhou","year":"2022","unstructured":"Houhou, S., Baarir, S., Poizat, P., Qu\u00e9innec, P., Kahloul, L.: A first-order logic verification framework for communication-parametric and time-aware BPMN collaborations. Inf. Syst. 104, 101765 (2022)","journal-title":"Inf. Syst."},{"key":"9_CR13","doi-asserted-by":"publisher","unstructured":"Jensen, K., Kristensen, L.M.: Coloured Petri Nets \u2013 Modelling and Validation of Concurrent Systems. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/B95112","DOI":"10.1007\/B95112"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Johnsen, E.B., Schlatte, R., Tapia Tarifa, S.L.: Integrating deployment architectures and resource consumption in timed object-oriented models. J. Logical Algebraic Meth. Program. 84(1), 67\u201391 (2015)","DOI":"10.1016\/j.jlamp.2014.07.001"},{"key":"9_CR15","doi-asserted-by":"publisher","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","DOI":"10.1007\/978-3-030-64354-6_4"},{"key":"9_CR16","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1016\/j.csi.2011.06.002","volume":"34","author":"C Michele","year":"2012","unstructured":"Michele, C., Alberto, T.: BPMN: an introduction to the standard. Comput. Stand. Interfaces 34, 124\u2013134 (2012)","journal-title":"Comput. Stand. Interfaces"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Ouyang, C., Dumas, M., ter Hofstede, A.H., van\u00a0der Aalst, W.M.P.: 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":"9_CR18","doi-asserted-by":"crossref","unstructured":"I Pun, V.K., Stolz, V.: Enforced dependencies for active objects. In: Active Object Languages: Current Research Trends, LNCS, vol. 14360, pp. 359\u2013374. Springer (2024)","DOI":"10.1007\/978-3-031-51060-1_13"},{"key":"9_CR19","doi-asserted-by":"publisher","unstructured":"Reichert, M., Weber, B.: Enabling Flexibility in Process-Aware Information Systems \u2013 Challenges, Methods, Technologies. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-30409-5","DOI":"10.1007\/978-3-642-30409-5"},{"issue":"5","key":"9_CR20","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1016\/j.is.2004.03.003","volume":"30","author":"P Senkul","year":"2005","unstructured":"Senkul, P., Toroslu, I.H.: An architecture for workflow scheduling under resource allocation constraints. Inf. Syst. 30(5), 399\u2013422 (2005)","journal-title":"Inf. Syst."},{"key":"9_CR21","unstructured":"Workflow Management Coalition: Workflow Management Coalition Terminology & Glossary (1999). https:\/\/wfmc.org\/wp-content\/uploads\/2022\/09\/TC-1011_term_glossary_v3.pdf"}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Foundations and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-12086-1_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,27]],"date-time":"2025-11-27T23:01:59Z","timestamp":1764284519000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-12086-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,27]]},"ISBN":["9783032120854","9783032120861"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-12086-1_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,11,27]]},"assertion":[{"value":"27 November 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SBMF","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brazilian Symposium on Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Recife","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brazil","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 December 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 December 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sbmf2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/sbmf2025.ufrpe.br\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}