{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T19:29:50Z","timestamp":1742930990110,"version":"3.40.3"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031753862"},{"type":"electronic","value":"9783031753879"}],"license":[{"start":{"date-parts":[[2024,10,26]],"date-time":"2024-10-26T00:00:00Z","timestamp":1729900800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,10,26]],"date-time":"2024-10-26T00:00:00Z","timestamp":1729900800000},"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":[[2025]]},"DOI":"10.1007\/978-3-031-75387-9_9","type":"book-chapter","created":{"date-parts":[[2024,10,25]],"date-time":"2024-10-25T08:02:14Z","timestamp":1729843334000},"page":"132-152","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards a\u00a0More Sustainable Re-engineering of\u00a0Heterogeneous Distributed Systems Using Cooperating Run-Time Monitors"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-5599-5807","authenticated-orcid":false,"given":"Maximilian","family":"Gehring","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6586-5529","authenticated-orcid":false,"given":"Heiko","family":"Mantel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,10,26]]},"reference":[{"key":"9_CR1","unstructured":"Camunda. https:\/\/camunda.com\/. Accessed 31 May 2024"},{"key":"9_CR2","unstructured":"Java Microbenchmark Harness (JMH). https:\/\/openjdk.org\/projects\/code-tools\/jmh\/. Accessed 17 Jul 2024"},{"issue":"1","key":"9_CR3","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1108\/14637150510578719","volume":"11","author":"S Adesola","year":"2005","unstructured":"Adesola, S., Baines, T.: Developing and evaluating a methodology for business process improvement. Bus. Process. Manag. J. 11(1), 37\u201346 (2005)","journal-title":"Bus. Process. Manag. J."},{"issue":"6","key":"9_CR4","doi-asserted-by":"publisher","first-page":"2972","DOI":"10.1007\/s10664-017-9499-z","volume":"22","author":"WKG Assun\u00e7\u00e3o","year":"2017","unstructured":"Assun\u00e7\u00e3o, W.K.G., Lopez-Herrejon, R.E., Linsbauer, L., Vergilio, S.R., Egyed, A.: Reengineering legacy applications into software product lines: a systematic mapping. Empirical Softw. Eng. 22(6), 2972\u20133016 (2017)","journal-title":"Empirical Softw. Eng."},{"issue":"1","key":"9_CR5","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/2487222.2487225","volume":"16","author":"DA Basin","year":"2013","unstructured":"Basin, D.A., Jug\u00e9, V., Klaedtke, F., Zalinescu, E.: Enforceable security policies revisited. ACM Trans. Inf. Syst. Secur. 16(1), 3 (2013)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-642-29420-4_10","volume-title":"Formal Aspects of Security and Trust","author":"R Gay","year":"2012","unstructured":"Gay, R., Mantel, H., Sprick, B.: Service Automata. In: Barthe, G., Datta, A., Etalle, S. (eds.) FAST 2011. LNCS, vol. 7140, pp. 148\u2013163. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-29420-4_10"},{"issue":"4","key":"9_CR7","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1109\/MC.2008.123","volume":"41","author":"S Hallsteinsen","year":"2008","unstructured":"Hallsteinsen, S., Hinchey, M., Park, S., Schmid, K.: Dynamic software product lines. Computer 41(4), 93\u201395 (2008)","journal-title":"Computer"},{"issue":"1","key":"9_CR8","doi-asserted-by":"publisher","first-page":"175","DOI":"10.1145\/1111596.1111601","volume":"28","author":"KW Hamlen","year":"2006","unstructured":"Hamlen, K.W., Morrisett, J.G., Schneider, F.B.: Computability classes for enforcement mechanisms. ACM Trans. Program. Lang. Syst. 28(1), 175\u2013205 (2006)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"9_CR9","unstructured":"IBM: An architectural blueprint for autonomic computing. Tech. rep. (2006)"},{"issue":"4","key":"9_CR10","doi-asserted-by":"publisher","first-page":"229","DOI":"10.3390\/info15040229","volume":"15","author":"Y Kirikkayis","year":"2024","unstructured":"Kirikkayis, Y., Winter, M., Reichert, M.: A user study on modeling IoT-aware processes with BPMN 2.0. Information 15(4), 229 (2024)","journal-title":"Information"},{"issue":"8","key":"9_CR11","doi-asserted-by":"publisher","first-page":"1010","DOI":"10.1016\/j.scico.2012.05.003","volume":"78","author":"MA Laguna","year":"2013","unstructured":"Laguna, M.A., Crespo, Y.: A systematic mapping study on software product line evolution: from legacy system reengineering to product line refactoring. Sci. Comput. Program. 78(8), 1010\u20131034 (2013)","journal-title":"Sci. Comput. Program."},{"issue":"1\u20132","key":"9_CR12","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/s10207-004-0046-8","volume":"4","author":"J Ligatti","year":"2005","unstructured":"Ligatti, J., Bauer, L., Walker, D.: Edit automata: enforcement mechanisms for run-time security policies. Int. J. Inf. Secur. 4(1\u20132), 2\u201316 (2005)","journal-title":"Int. J. Inf. Secur."},{"key":"9_CR13","doi-asserted-by":"publisher","unstructured":"van\u00a0der Linden, F., Schmid, K., Rommes, E.: Software Product Lines in Action - The Best Industrial Practice in Product Line Engineering. Springer (2007). https:\/\/doi.org\/10.1007\/978-3-540-71437-8","DOI":"10.1007\/978-3-540-71437-8"},{"key":"9_CR14","unstructured":"OMG: Business Process Model and Notation (BPMN), Version 2.0.2 (2014). https:\/\/www.omg.org\/spec\/BPMN\/2.0.2"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Park, J., Sandhu, R.S.: Towards usage control models: beyond traditional access control. In: 7th ACM Symposium on Access Control Models and Technologies, pp. 57\u201364. ACM (2002)","DOI":"10.1145\/507711.507722"},{"key":"9_CR16","doi-asserted-by":"publisher","unstructured":"Pohl, K., B\u00f6ckle, G., van\u00a0der Linden, F.: Software Product Line Engineering \u2013 Foundations, Principles, and Techniques. Springer (2005). https:\/\/doi.org\/10.1007\/3-540-28901-1","DOI":"10.1007\/3-540-28901-1"},{"issue":"9","key":"9_CR17","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/1151030.1151053","volume":"49","author":"A Pretschner","year":"2006","unstructured":"Pretschner, A., Hilty, M., Basin, D.A.: Distributed usage control. Communun. ACM 49(9), 39\u201344 (2006)","journal-title":"Communun. ACM"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Pretschner, A., Massacci, F., Hilty, M.: Usage control in service-oriented architectures. In: Trust, Privacy and Security in Digital Business, 4th International Conference. LNCS, vol.\u00a04657, pp. 83\u201393 (2007)","DOI":"10.1007\/978-3-540-74409-2_11"},{"issue":"1","key":"9_CR19","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1145\/353323.353382","volume":"3","author":"FB Schneider","year":"2000","unstructured":"Schneider, F.B.: Enforceable security policies. ACM Trans. Inf. Syst. Secur. 3(1), 30\u201350 (2000)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"issue":"6","key":"9_CR20","doi-asserted-by":"publisher","first-page":"1443","DOI":"10.1007\/s10270-020-00785-7","volume":"19","author":"S Sch\u00f6nig","year":"2020","unstructured":"Sch\u00f6nig, S., Ackermann, L., Jablonski, S., Ermer, A.: IoT meets BPM: a bidirectional communication architecture for IoT-aware process execution. Softw. Syst. Model. 19(6), 1443\u20131459 (2020)","journal-title":"Softw. Syst. Model."}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-75387-9_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,25]],"date-time":"2024-10-25T08:03:14Z","timestamp":1729843394000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-75387-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,10,26]]},"ISBN":["9783031753862","9783031753879"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-75387-9_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024,10,26]]},"assertion":[{"value":"26 October 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Crete","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 October 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 October 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/isola-conference.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}