{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,26]],"date-time":"2026-05-26T08:03:14Z","timestamp":1779782594476,"version":"3.53.1"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T00:00:00Z","timestamp":1774396800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T00:00:00Z","timestamp":1774396800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100007052","name":"Universit\u00e0 degli Studi di Verona","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100007052","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2026,4]]},"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>\n                    Event-driven programming provides a natural fit for the reactive nature of pervasive systems like the Internet of Things (IoT) and Collective Adaptive Systems (CASs).\n                    <jats:italic>Attribute-based memory Updates<\/jats:italic>\n                    (AbU) is a calculus based on Event-Condition-Action (ECA) rules, well-suited for modeling such decentralized systems. This paper introduces a novel extension of AbU by incorporating\n                    <jats:italic>ECA rule priorities<\/jats:italic>\n                    . We show how this extension facilitates the natural expression of prioritized behaviors and enables the implementation of distributed data structures like Conflict-free Replicated Data Types (CRDTs). Furthermore, by leveraging the local invariants of AbU nodes and priorities we address the problem of enforcing\n                    <jats:italic>global invariants<\/jats:italic>\n                    in order to enhance the reliability and predictability of CASs. This is achieved through a syntactic transformation that projects global invariants into local ones and introduces high-priority synchronization rules, so that system-level properties can be guaranteed without relying on a central authority.\n                  <\/jats:p>","DOI":"10.1007\/s10009-026-00856-y","type":"journal-article","created":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T09:57:48Z","timestamp":1774432668000},"page":"219-233","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Attribute-based memory updates with priorities for collective adaptive systems"],"prefix":"10.1007","volume":"28","author":[{"given":"Michele","family":"Pasqua","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marino","family":"Miculan","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,3,25]]},"reference":[{"key":"856_CR1","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1109\/SASOW.2014.32","volume-title":"Proc. 8th SASOW","author":"J. Cano","year":"2014","unstructured":"Cano, J., Rutten, E., Delaval, G., Benazzouz, Y., Gurgen, L.: ECA rules for IoT environment: a case study in safe design. In: Proc. 8th SASOW, pp.\u00a0116\u2013121. IEEE (2014). https:\/\/doi.org\/10.1109\/SASOW.2014.32"},{"key":"856_CR2","doi-asserted-by":"crossref","unstructured":"Balliu, M., Merro, M., Pasqua, M., Shcherbakov, M.: Friendly fire: Cross-app interactions in IoT platforms. ACM Trans. Priv. Secur. 24(3) (2021)","DOI":"10.1145\/3444963"},{"key":"856_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/978-3-030-85315-0_21","volume-title":"Proc. 18th International Colloquium on Theoretical Aspects of Computing (ICTAC)","author":"M. Miculan","year":"2021","unstructured":"Miculan, M., Pasqua, M.: A calculus for attribute-based memory updates. In: Cerone, A., \u00d6lveczky, P. (eds.) Proc. 18th International Colloquium on Theoretical Aspects of Computing (ICTAC). Lecture Notes in Computer Science, vol.\u00a012819, pp.\u00a0366\u2013385. Springer, Berlin (2021). https:\/\/doi.org\/10.1007\/978-3-030-85315-0_21"},{"key":"856_CR4","doi-asserted-by":"publisher","unstructured":"Pasqua, M., Miculan, M.: AbU: a calculus for distributed event-driven programming with attribute-based interaction. Theor. Comput. Sci., 1\u201332 (2023). https:\/\/doi.org\/10.1016\/j.tcs.2023.113841","DOI":"10.1016\/j.tcs.2023.113841"},{"key":"856_CR5","first-page":"1","volume-title":"Formal Techniques for Distributed Objects, Components, and Systems","author":"Y. Abd Alrahman","year":"2016","unstructured":"Abd Alrahman, Y., De Nicola, R., Loreti, M.: On the power of attribute-based communication. In: Albert, E., Lanese, I. (eds.) Formal Techniques for Distributed Objects, Components, and Systems, pp.\u00a01\u201318. Springer, Cham (2016)"},{"key":"856_CR6","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2020.102428","volume":"192","author":"Y. Abd Alrahman","year":"2020","unstructured":"Abd Alrahman, Y., De Nicola, R., Loreti, M.: Programming interactions in collective adaptive systems by relying on attribute-based communication. Sci. Comput. Program. 192, 102428 (2020). https:\/\/doi.org\/10.1016\/j.scico.2020.102428","journal-title":"Sci. Comput. Program."},{"key":"856_CR7","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1007\/978-3-642-24550-3_29","volume-title":"Proceedings of the 13th International Conference on Stabilization, Safety, and Security of Distributed Systems","author":"M. Shapiro","year":"2011","unstructured":"Shapiro, M., Pregui\u00e7a, N., Baquero, C., Zawirski, M.: Conflict-free replicated data types. In: Proceedings of the 13th International Conference on Stabilization, Safety, and Security of Distributed Systems, pp.\u00a0386\u2013400. Springer, Berlin (2011)"},{"key":"856_CR8","doi-asserted-by":"publisher","unstructured":"Pasqua, M., Miculan, M.: Behavioral equivalences for AbU: Verifying security and safety in distributed IoT systems. Theor. Comput. Sci., 1\u201332 (2024). https:\/\/doi.org\/10.1016\/j.tcs.2024.114537","DOI":"10.1016\/j.tcs.2024.114537"},{"key":"856_CR9","first-page":"1840","volume-title":"Proc. 30th SAC","author":"Y. Abd Alrahman","year":"2015","unstructured":"Abd Alrahman, Y., De Nicola, R., Loreti, M., Tiezzi, F., Vigo, R.: A calculus for attribute-based communication. In: Proc. 30th SAC, pp.\u00a01840\u20131845. ACM (2015)"},{"key":"856_CR10","doi-asserted-by":"publisher","first-page":"132763","DOI":"10.1109\/ACCESS.2022.3230287","volume":"10","author":"M. Pasqua","year":"2022","unstructured":"Pasqua, M., Comuzzo, M., Miculan, M.: The AbU language: IoT distributed programming made easy. IEEE Access 10, 132763\u2013132776 (2022). https:\/\/doi.org\/10.1109\/ACCESS.2022.3230287","journal-title":"IEEE Access"},{"issue":"1","key":"856_CR11","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1016\/0378-7788(92)90047-K","volume":"18","author":"B. Givoni","year":"1992","unstructured":"Givoni, B.: Comfort, climate analysis and building design guidelines. Energy Build. 18(1), 11\u201323 (1992)","journal-title":"Energy Build."},{"key":"856_CR12","doi-asserted-by":"crossref","unstructured":"Chandy, K.M., Lamport, L.: Distributed snapshots: Determining global states of a distributed system. ACM Trans. Comput. Syst., 63\u201375 (1985)","DOI":"10.1145\/214451.214456"},{"issue":"2","key":"856_CR13","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1006\/jpdc.1995.1098","volume":"28","author":"O. Babaoglu","year":"1995","unstructured":"Babaoglu, O., Raynal, M.: Specification and verification of dynamic properties in distributed computations. J. Parallel Distrib. Comput. 28(2), 173\u2013185 (1995). https:\/\/doi.org\/10.1006\/jpdc.1995.1098","journal-title":"J. Parallel Distrib. Comput."},{"key":"856_CR14","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/978-3-319-75632-5_6","volume-title":"Runtime Verification for Decentralised and Distributed Systems","author":"A. Francalanza","year":"2018","unstructured":"Francalanza, A., P\u00e9rez, J.A., S\u00e1nchez, C.: Runtime Verification for Decentralised and Distributed Systems pp.\u00a0176\u2013210. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-75632-5_6"},{"key":"856_CR15","doi-asserted-by":"publisher","unstructured":"Aldini, A.: Design and verification of trusted collective adaptive systems. ACM Trans. Model. Comput. Simul. 28(2) (2018). https:\/\/doi.org\/10.1145\/3155337","DOI":"10.1145\/3155337"},{"key":"856_CR16","series-title":"EPTCS","doi-asserted-by":"publisher","first-page":"47","DOI":"10.4204\/EPTCS.302.4","volume-title":"Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution","author":"G. Audrito","year":"2019","unstructured":"Audrito, G., Damiani, F., Stolz, V., Viroli, M.: On distributed runtime verification by aggregate computing. In: Ancona, D., Pace, G. (eds.) Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution. EPTCS, vol.\u00a0302, pp.\u00a047\u201361 (2019). https:\/\/doi.org\/10.4204\/EPTCS.302.4"},{"key":"856_CR17","doi-asserted-by":"publisher","first-page":"16","DOI":"10.4204\/eptcs.194.2","volume-title":"Proc. QAPL 2015","author":"L. Bortolussi","year":"2015","unstructured":"Bortolussi, L., De Nicola, R., Galpin, V., Gilmore, S., Hillston, J., Latella, D., Loreti, M., Massink, M.: CARMA: collective adaptive resource-sharing Markovian agents. In: Proc. QAPL 2015, pp.\u00a016\u201331 (2015). https:\/\/doi.org\/10.4204\/eptcs.194.2"},{"key":"856_CR18","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/978-3-031-75107-3_21","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems","author":"M. Pasqua","year":"2025","unstructured":"Pasqua, M., Miculan, M.: Local reasoning and attribute-based memory updates for enforcing global invariants in collective adaptive systems. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive Systems, pp.\u00a0351\u2013367. Springer, Cham (2025)"},{"issue":"1\u20132","key":"856_CR19","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/S10703-016-0253-8","volume":"48","author":"A. Bauer","year":"2016","unstructured":"Bauer, A., Falcone, Y.: Decentralised LTL monitoring. Form. Methods Syst. Des. 48(1\u20132), 46\u201393 (2016). https:\/\/doi.org\/10.1007\/S10703-016-0253-8","journal-title":"Form. Methods Syst. Des."},{"key":"856_CR20","doi-asserted-by":"publisher","first-page":"494","DOI":"10.1109\/IPDPS.2015.95","volume-title":"2015 IEEE International Parallel and Distributed Processing Symposium, IPDPS 2015","author":"M. Mostafa","year":"2015","unstructured":"Mostafa, M., Bonakdarpour, B.: Decentralized runtime verification of LTL specifications in distributed systems. In: 2015 IEEE International Parallel and Distributed Processing Symposium, IPDPS 2015, pp.\u00a0494\u2013503. IEEE Computer Society (2015). https:\/\/doi.org\/10.1109\/IPDPS.2015.95"},{"key":"856_CR21","series-title":"LIPIcs","doi-asserted-by":"publisher","DOI":"10.4230\/LIPICS.CONCUR.2024.4","volume-title":"35th International Conference on Concurrency Theory, CONCUR 2024","author":"L. Aceto","year":"2024","unstructured":"Aceto, L., Achilleos, A., Anastasiadi, E., Francalanza, A., Gorla, D., Wagemaker, J.: Centralized vs decentralized monitors for hyperproperties. In: Majumdar, R., Silva, A. (eds.) 35th International Conference on Concurrency Theory, CONCUR 2024. LIPIcs, vol.\u00a0311. Schloss Dagstuhl (2024). https:\/\/doi.org\/10.4230\/LIPICS.CONCUR.2024.4"},{"key":"856_CR22","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1109\/CSF.2008.7","volume-title":"21st IEEE Computer Security Foundations Symposium","author":"M. Clarkson","year":"2008","unstructured":"Clarkson, M., Schneider, F.: Hyperproperties. In: 21st IEEE Computer Security Foundations Symposium, pp.\u00a051\u201365 (2008). https:\/\/doi.org\/10.1109\/CSF.2008.7"},{"key":"856_CR23","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-642-32784-1_5","volume-title":"Proc. CMCS. Lecture Notes in Computer Science","author":"G. Bacci","year":"2012","unstructured":"Bacci, G., Miculan, M.: Structural operational semantics for continuous state probabilistic processes. In: Proc. CMCS. Lecture Notes in Computer Science, vol.\u00a07399, pp.\u00a071\u201389. Springer (2012). https:\/\/doi.org\/10.1007\/978-3-642-32784-1_5"},{"issue":"5","key":"856_CR24","doi-asserted-by":"publisher","first-page":"834","DOI":"10.1016\/J.JCSS.2014.12.003","volume":"81","author":"G. Bacci","year":"2015","unstructured":"Bacci, G., Miculan, M.: Structural operational semantics for continuous state stochastic transition systems. J. Comput. Syst. Sci. 81(5), 834\u2013858 (2015). https:\/\/doi.org\/10.1016\/J.JCSS.2014.12.003","journal-title":"J. Comput. Syst. Sci."}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-026-00856-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-026-00856-y","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-026-00856-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,26]],"date-time":"2026-05-26T07:17:34Z","timestamp":1779779854000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-026-00856-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,3,25]]},"references-count":24,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2026,4]]}},"alternative-id":["856"],"URL":"https:\/\/doi.org\/10.1007\/s10009-026-00856-y","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,3,25]]},"assertion":[{"value":"5 March 2026","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"25 March 2026","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}