{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,28]],"date-time":"2026-09-28T17:57:18Z","timestamp":1790618238650,"version":"4.1.0"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2025,12,8]],"date-time":"2025-12-08T00:00:00Z","timestamp":1765152000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,12,8]],"date-time":"2025-12-08T00:00:00Z","timestamp":1765152000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"funder":[{"DOI":"10.13039\/100018699","name":"HORIZON EUROPE Digital, Industry and Space","doi-asserted-by":"publisher","award":["101070537"],"award-info":[{"award-number":["101070537"]}],"id":[{"id":"10.13039\/100018699","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","award":["From Legal Contracts to Smart Contract"],"award-info":[{"award-number":["From Legal Contracts to Smart Contract"]}],"id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100012171","name":"Ontario Research Foundation","doi-asserted-by":"publisher","award":["CyPreSS: Software Techniques for the Engineering o"],"award-info":[{"award-number":["CyPreSS: Software Techniques for the Engineering o"]}],"id":[{"id":"10.13039\/100012171","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004054","name":"King Abdulaziz University","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004054","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2026,10]]},"DOI":"10.1007\/s10270-025-01327-9","type":"journal-article","created":{"date-parts":[[2025,12,8]],"date-time":"2025-12-08T07:46:36Z","timestamp":1765179996000},"page":"1611-1648","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["SymboleoAC: an access control model for smart legal contracts"],"prefix":"10.1007","volume":"25","author":[{"given":"Sofana","family":"Alfuhaid","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Amal Ahmed","family":"Anda","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2414-1791","authenticated-orcid":false,"given":"Daniel","family":"Amyot","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marco","family":"Roveri","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"John","family":"Mylopoulos","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,12,8]]},"reference":[{"key":"1327_CR1","unstructured":"Szabo, N.: The idea of Smart Contracts (1997). https:\/\/bit.ly\/2PXmUfz"},{"key":"1327_CR2","doi-asserted-by":"publisher","unstructured":"Dhaiouir, S., Assar, S.: A Systematic Literature Review of Blockchain-Enabled Smart Contracts: Platforms, Languages, Consensus, Applications and Choice Criteria, pp. 249\u2013266 (2020). https:\/\/doi.org\/10.1007\/978-3-030-50316-1_15","DOI":"10.1007\/978-3-030-50316-1_15"},{"key":"1327_CR3","doi-asserted-by":"publisher","first-page":"65872","DOI":"10.1109\/ACCESS.2023.3290899","volume":"11","author":"S Alfuhaid","year":"2023","unstructured":"Alfuhaid, S., Amyot, D., Anda, A.A., Mylopoulos, J.: A mapping review on cyber-physical smart contracts: architectures, platforms, and challenges. IEEE Access 11, 65872\u201365890 (2023). https:\/\/doi.org\/10.1109\/ACCESS.2023.3290899","journal-title":"IEEE Access"},{"key":"1327_CR4","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/j.tele.2018.11.006","volume":"36","author":"F Casino","year":"2019","unstructured":"Casino, F., Dasaklis, T.K., Patsakis, C.: A systematic literature review of blockchain-based applications: current status, classification and open issues. Telemat. Inform. 36, 55\u201381 (2019). https:\/\/doi.org\/10.1016\/j.tele.2018.11.006","journal-title":"Telemat. Inform."},{"issue":"4","key":"1327_CR5","doi-asserted-by":"publisher","first-page":"622","DOI":"10.5465\/amp.2018.0066","volume":"35","author":"A Murray","year":"2021","unstructured":"Murray, A., Kuban, S., Josefy, M., Anderson, J.: Contracting in the smart era: the implications of blockchain and decentralized autonomous organizations for contracting and corporate governance. Acad. Manag. Perspect. 35(4), 622\u2013641 (2021). https:\/\/doi.org\/10.5465\/amp.2018.0066","journal-title":"Acad. Manag. Perspect."},{"issue":"10","key":"1327_CR6","doi-asserted-by":"publisher","first-page":"1027","DOI":"10.1016\/j.telpol.2017.09.003","volume":"41","author":"N Kshetri","year":"2017","unstructured":"Kshetri, N.: Blockchain\u2019s roles in strengthening cybersecurity and protecting privacy. Telecommun. Policy 41(10), 1027\u20131038 (2017). https:\/\/doi.org\/10.1016\/j.telpol.2017.09.003","journal-title":"Telecommun. Policy"},{"key":"1327_CR7","doi-asserted-by":"publisher","DOI":"10.3390\/fi11070161","author":"A Rejeb","year":"2019","unstructured":"Rejeb, A., Keogh, J.G., Treiblmaier, H.: Leveraging the Internet of Things and blockchain technology in supply chain management. Future Intern. (2019). https:\/\/doi.org\/10.3390\/fi11070161","journal-title":"Future Intern."},{"key":"1327_CR8","doi-asserted-by":"publisher","DOI":"10.1016\/j.cosrev.2023.100585","volume":"50","author":"V Gugueoth","year":"2023","unstructured":"Gugueoth, V., Safavat, S., Shetty, S., Rawat, D.: A review of IoT security and privacy using decentralized blockchain techniques. Comput. Sci. Rev. 50, 100585 (2023). https:\/\/doi.org\/10.1016\/j.cosrev.2023.100585","journal-title":"Comput. Sci. Rev."},{"key":"1327_CR9","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijpe.2020.107831","volume":"231","author":"M Kouhizadeh","year":"2021","unstructured":"Kouhizadeh, M., Saberi, S., Sarkis, J.: Blockchain technology and the sustainable supply chain: theoretically exploring adoption barriers. Int. J. Product. Econ. 231, 107831 (2021). https:\/\/doi.org\/10.1016\/j.ijpe.2020.107831","journal-title":"Int. J. Product. Econ."},{"issue":"5","key":"1327_CR10","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/s42979-022-01228-4","volume":"3","author":"M Soavi","year":"2022","unstructured":"Soavi, M., Zeni, N., Mylopoulos, J., Mich, L.: From legal contracts to formal specifications: a systematic literature review. SN Comput. Sci. 3(5), 345 (2022). https:\/\/doi.org\/10.1007\/s42979-022-01228-4","journal-title":"SN Comput. Sci."},{"key":"1327_CR11","doi-asserted-by":"publisher","unstructured":"W\u00f6hrer, M., Zdun, U.: Domain specific language for smart contract development. In: 2020 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), pp. 1\u20139 (2020). https:\/\/doi.org\/10.1109\/ICBC48266.2020.9169399","DOI":"10.1109\/ICBC48266.2020.9169399"},{"issue":"6","key":"1327_CR12","doi-asserted-by":"publisher","first-page":"2395","DOI":"10.1007\/s10270-022-01053-6","volume":"21","author":"A Parvizimosaed","year":"2022","unstructured":"Parvizimosaed, A., Sharifi, S., Amyot, D., Logrippo, L., Roveri, M., Rasti, A., Roudak, A., Mylopoulos, J.: Specification and analysis of legal contracts with Symboleo. Softw. Syst. Model. 21(6), 2395\u20132427 (2022). https:\/\/doi.org\/10.1007\/s10270-022-01053-6","journal-title":"Softw. Syst. Model."},{"key":"1327_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-024-01180-2","author":"A Parvizimosaed","year":"2024","unstructured":"Parvizimosaed, A., Roveri, M., Rasti, A., Anda, A.A., Alfuhaid, S., Amyot, D., Logrippo, L., Mylopoulos, J.: Symboleopc: checking properties of legal contracts. Softw. Syst. Model. (2024). https:\/\/doi.org\/10.1007\/s10270-024-01180-2","journal-title":"Softw. Syst. Model."},{"key":"1327_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-024-01187-9","author":"A Rasti","year":"2024","unstructured":"Rasti, A., Anda, A.A., Alfuhaid, S., Parvizimosaed, A., Amyot, D., Roveri, M., Logrippo, L., Mylopoulos, J.: Automated generation of smart contract code from legal contract specifications with symboleo2sc. Softw. Syst. Model. (2024). https:\/\/doi.org\/10.1007\/s10270-024-01187-9","journal-title":"Softw. Syst. Model."},{"key":"1327_CR15","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2019.101454","volume":"101","author":"C Griffo","year":"2021","unstructured":"Griffo, C., Almeida, J.P.A., Guizzardi, G., Nardi, J.C.: Service contract modeling in enterprise architecture: an ontology-based approach. Inform. Syst. 101, 101454 (2021). https:\/\/doi.org\/10.1016\/j.is.2019.101454","journal-title":"Inform. Syst."},{"issue":"9","key":"1327_CR16","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/35.312842","volume":"32","author":"RS Sandhu","year":"1994","unstructured":"Sandhu, R.S., Samarati, P.: Access control: principle and practice. IEEE Commun. Mag. 32(9), 40\u201348 (1994). https:\/\/doi.org\/10.1109\/35.312842","journal-title":"IEEE Commun. Mag."},{"key":"1327_CR17","doi-asserted-by":"publisher","unstructured":"Alfuhaid, S., Anda, A.A., Amyot, D., Roveri, M., Mylopoulos, J.: SymboleoAC: an access control model for legal contracts. In: 17th IFIP WG 8.1 Working Conference on the Practice of Enterprise Modeling (PoEM). LNBIP, vol. 538, pp. 227\u2013243. Springer, Cham (2024). https:\/\/doi.org\/10.1007\/978-3-031-77908-4_14","DOI":"10.1007\/978-3-031-77908-4_14"},{"key":"1327_CR18","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2023.102219","volume":"148","author":"C Griffo","year":"2023","unstructured":"Griffo, C., Almeida, J.P.A., Lima, J.A.O., Prince-Sales, T., Guizzardi, G.: Legal powers, subjections, disabilities, and immunities: ontological analysis and modeling patterns. Data Knowl. Eng. 148, 102219 (2023). https:\/\/doi.org\/10.1016\/j.datak.2023.102219","journal-title":"Data Knowl. Eng."},{"key":"1327_CR19","doi-asserted-by":"publisher","unstructured":"Sharifi, S., Parvizimosaed, A., Amyot, D., Logrippo, L., Mylopoulos, J.: Symboleo: towards a specification language for legal contracts. In: 2020 IEEE 28th International Requirements Engineering Conference (RE), pp. 364\u2013369 (2020). https:\/\/doi.org\/10.1109\/RE48521.2020.00049","DOI":"10.1109\/RE48521.2020.00049"},{"key":"1327_CR20","doi-asserted-by":"publisher","unstructured":"Parvizimosaed, A., Sharifi, S., Amyot, D., Logrippo, L., Mylopoulos, J.: Subcontracting, assignment, and substitution for legal contracts in Symboleo. In: Conceptual Modeling: 39th International Conference, ER 2020, pp. 271\u2013285. Springer, Berlin (2020). https:\/\/doi.org\/10.1007\/978-3-030-62522-1_20","DOI":"10.1007\/978-3-030-62522-1_20"},{"key":"1327_CR21","doi-asserted-by":"publisher","unstructured":"Vimercati, S., Paraboschi, S., Samarati, P.: Access control: principles and solutions. Softw.: Pract. Exp. 33(5), 397\u2013421 (2003). https:\/\/doi.org\/10.1002\/spe.513","DOI":"10.1002\/spe.513"},{"issue":"5","key":"1327_CR22","doi-asserted-by":"publisher","first-page":"6","DOI":"10.5120\/18196-9115","volume":"104","author":"JD Bokefode","year":"2014","unstructured":"Bokefode, J.D., Ubale, S.A., Apte, S.S., Modani, D.G.: Analysis of DAC mac RBAC access control based models for security. Int. J. Comput. Appl. 104(5), 6\u201313 (2014). https:\/\/doi.org\/10.5120\/18196-9115","journal-title":"Int. J. Comput. Appl."},{"key":"1327_CR23","unstructured":"Ennahbaoui, M., Elhajji, S.: Study of access control models. (2013). https:\/\/api.semanticscholar.org\/CorpusID:2124670"},{"key":"1327_CR24","doi-asserted-by":"crossref","unstructured":"Sandhu, R.S., Ferraiolo, D.F., Kuhn, R.: The NIST model for role-based access control: Towards a unified standard. In: ACM Workshop on Role-Based Access Control (2000). https:\/\/api.semanticscholar.org\/CorpusID:14539795","DOI":"10.1145\/344287.344301"},{"issue":"2","key":"1327_CR25","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1109\/MC.2015.33","volume":"48","author":"VC Hu","year":"2015","unstructured":"Hu, V.C., Kuhn, D.R., Ferraiolo, D.F., Voas, J.: Attribute-based access control. Computer 48(2), 85\u201388 (2015). https:\/\/doi.org\/10.1109\/MC.2015.33","journal-title":"Computer"},{"key":"1327_CR26","doi-asserted-by":"publisher","unstructured":"Kayem, A.V.D.M., Akl, S.G., Martin, P.: A presentation of access control methods, pp. 11\u201340. Springer, Boston, MA (2010). https:\/\/doi.org\/10.1007\/978-1-4419-6655-1_2","DOI":"10.1007\/978-1-4419-6655-1_2"},{"key":"1327_CR27","doi-asserted-by":"publisher","unstructured":"Androulaki, E., Barger, A., Bortnikov, V., Cachin, C., Christidis, K., De\u00a0Caro, A., Enyeart, D., Ferris, C., Laventman, G., Manevich, Y., Muralidharan, S., Murthy, C., Nguyen, B., Sethi, M., Singh, G., Smith, K., Sorniotti, A., Stathakopoulou, C., Vukoli\u0107, M., Cocco, S.W., Yellick, J.: Hyperledger fabric: a distributed operating system for permissioned blockchains. In: Proceedings of the Thirteenth EuroSys Conference. EuroSys\u201918, pp. 1\u201315. ACM, USA (2018). https:\/\/doi.org\/10.1145\/3190508.3190538","DOI":"10.1145\/3190508.3190538"},{"issue":"7","key":"1327_CR28","doi-asserted-by":"publisher","first-page":"781","DOI":"10.1002\/spe.1155","volume":"42","author":"A Forward","year":"2012","unstructured":"Forward, A., Badreddin, O., Lethbridge, T.C., Solano, J.: Model-driven rapid prototyping with Umple. Software: Pract. Exp. 42(7), 781\u2013797 (2012). https:\/\/doi.org\/10.1002\/spe.1155","journal-title":"Software: Pract. Exp."},{"key":"1327_CR29","volume-title":"Implementing Domain Specific Languages with Xtext and Xtend","author":"L Bettini","year":"2016","unstructured":"Bettini, L.: Implementing Domain Specific Languages with Xtext and Xtend, 2nd edn. Packt Publishing, Birmingham (2016)","edition":"2"},{"key":"1327_CR30","doi-asserted-by":"publisher","unstructured":"Al-Azzoni, I., Iqbal, S.: Model-driven approach for generating smart contracts for access control. In: 2023 Fifth International Conference on Blockchain Computing and Applications (BCCA), pp. 112\u2013115 (2023). https:\/\/doi.org\/10.1109\/BCCA58897.2023.10338863","DOI":"10.1109\/BCCA58897.2023.10338863"},{"key":"1327_CR31","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10270-023-01131-3","volume":"22","author":"E Planas","year":"2023","unstructured":"Planas, E., P\u00e9rez, S., Brambilla, M., Cabot, J.: Modeling and enforcing access control policies in conversational user interfaces. Softw. Syst. Model. 22, 1\u201320 (2023). https:\/\/doi.org\/10.1007\/s10270-023-01131-3","journal-title":"Softw. Syst. Model."},{"issue":"1","key":"1327_CR32","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/1125808.1125810","volume":"15","author":"D Basin","year":"2006","unstructured":"Basin, D., Doser, J., Lodderstedt, T.: Model driven security: from UML models to access control infrastructures. ACM Trans. Softw. Eng. Methodol. 15(1), 39\u201391 (2006). https:\/\/doi.org\/10.1145\/1125808.1125810","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"1327_CR33","doi-asserted-by":"publisher","unstructured":"Ben\u00a0Fadhel, A., Bianculli, D., Briand, L.: GemRBAC-DSL: a high-level specification language for role-based access control policies. In: Proceedings of the 21st ACM on Symposium on Access Control Models and Technologies. SACMAT\u201916, pp. 179\u2013190. ACM, USA (2016). https:\/\/doi.org\/10.1145\/2914642.2914656","DOI":"10.1145\/2914642.2914656"},{"key":"1327_CR34","doi-asserted-by":"publisher","unstructured":"Kashmar, N., Adda, M., Atieh, M., Ibrahim, H.: Access control metamodel for policy specification and enforcement: from conception to formalization. In: 12th International Conference on Ambient Systems, Networks and Technologies (ANT) Affiliated Workshops. Procedia Computer Science 184, 887\u2013892 (2021) https:\/\/doi.org\/10.1016\/j.procs.2021.03.111","DOI":"10.1016\/j.procs.2021.03.111"},{"key":"1327_CR35","doi-asserted-by":"publisher","unstructured":"Kim, D.-K., Ray, I., France, R., Li, N.: Modeling role-based access control using parameterized UML models. In: Wermelinger, M., Margaria-Steffen, T. (eds.) Fundamental Approaches to Software Engineering, pp. 180\u2013193. Springer, Berlin (2004). https:\/\/doi.org\/10.1007\/978-3-540-24721-0_13","DOI":"10.1007\/978-3-540-24721-0_13"},{"issue":"4","key":"1327_CR36","doi-asserted-by":"publisher","first-page":"796","DOI":"10.1017\/S0960129512000266","volume":"23","author":"M Kuhlmann","year":"2013","unstructured":"Kuhlmann, M., Sohr, K., Gogolla, M.: Employing UML and OCL for designing and analysing role-based access control. Math. Struct. Comput. Sci. 23(4), 796\u2013833 (2013). https:\/\/doi.org\/10.1017\/S0960129512000266","journal-title":"Math. Struct. Comput. Sci."},{"key":"1327_CR37","doi-asserted-by":"publisher","unstructured":"Frantz, C.K., Nowostawski, M.: From institutions to code: towards automated generation of smart contracts. In: 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), pp. 210\u2013215 (2016). https:\/\/doi.org\/10.1109\/FAS-W.2016.53","DOI":"10.1109\/FAS-W.2016.53"},{"key":"1327_CR38","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2021.106762","volume":"144","author":"M Hamdaqa","year":"2022","unstructured":"Hamdaqa, M., Met, L.A.P., Qasse, I.: iContractML 2.0: a domain-specific language for modeling and deploying smart contracts onto multiple blockchain platforms. Inf. Softw. Technol. 144, 106762 (2022). https:\/\/doi.org\/10.1016\/j.infsof.2021.106762","journal-title":"Inf. Softw. Technol."}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-025-01327-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10270-025-01327-9","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-025-01327-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,9,28]],"date-time":"2026-09-28T17:08:24Z","timestamp":1790615304000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10270-025-01327-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12,8]]},"references-count":38,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2026,10]]}},"alternative-id":["1327"],"URL":"https:\/\/doi.org\/10.1007\/s10270-025-01327-9","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,12,8]]},"assertion":[{"value":"21 March 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"30 August 2025","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 September 2025","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 December 2025","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}