{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T00:21:35Z","timestamp":1783038095262,"version":"3.54.6"},"reference-count":75,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:00:00Z","timestamp":1785542400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T00:00:00Z","timestamp":1776729600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100008398","name":"Villum Foundation","doi-asserted-by":"publisher","award":["VIL57420"],"award-info":[{"award-number":["VIL57420"]}],"id":[{"id":"10.13039\/100008398","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100012774","name":"Innovationsfonden","doi-asserted-by":"publisher","award":["4355-00018B"],"award-info":[{"award-number":["4355-00018B"]}],"id":[{"id":"10.13039\/100012774","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Information and Software Technology"],"published-print":{"date-parts":[[2026,8]]},"DOI":"10.1016\/j.infsof.2026.108146","type":"journal-article","created":{"date-parts":[[2026,4,20]],"date-time":"2026-04-20T16:11:56Z","timestamp":1776701516000},"page":"108146","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["Aligning processes with high-level requirements: Goal-model-based compliance checking"],"prefix":"10.1016","volume":"196","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4915-0961","authenticated-orcid":false,"given":"Juanita","family":"Caballero-Villalobos","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9312-3047","authenticated-orcid":false,"given":"Hubert","family":"Baumeister","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8346-2467","authenticated-orcid":false,"given":"Elda","family":"Paja","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Olga","family":"Kokoulina","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5162-7936","authenticated-orcid":false,"given":"Hugo A.","family":"L\u00f3pez","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"78","reference":[{"key":"10.1016\/j.infsof.2026.108146_b1","doi-asserted-by":"crossref","DOI":"10.1177\/0007650319898195","article-title":"The organizational dynamics of compliance with the UK modern slavery act in the food and tobacco sector","volume":"60","author":"Monciardini","year":"2021","journal-title":"Bus. Soc."},{"key":"10.1016\/j.infsof.2026.108146_b2","article-title":"Adoption, use and management of process mining in practice","volume":"27","author":"Grisold","year":"2021","journal-title":"Bus. Process. Manag. J."},{"key":"10.1016\/j.infsof.2026.108146_b3","series-title":"International Conference on Conceptual Modeling","first-page":"277","article-title":"A characterisation of ambiguity in BPM","author":"Franceschetti","year":"2023"},{"issue":"1","key":"10.1016\/j.infsof.2026.108146_b4","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1109\/TSE.2007.70746","article-title":"Analyzing regulatory rules for privacy and security requirements","volume":"34","author":"Breaux","year":"2008","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10.1016\/j.infsof.2026.108146_b5","series-title":"Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)","first-page":"472","article-title":"Designing law-compliant software requirements","volume":"vol. 5829","author":"Siena","year":"2009"},{"key":"10.1016\/j.infsof.2026.108146_b6","series-title":"Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)","article-title":"On non-functional requirements in software engineering","volume":"vol. 5600","author":"Chung","year":"2009"},{"key":"10.1016\/j.infsof.2026.108146_b7","unstructured":"H.A. L\u00f3pez, Challenges in legal process discovery, in: CEUR Workshop Proceedings, Vol. 2952, (ISSN: 16130073) 2021, pp. 26\u201338."},{"key":"10.1016\/j.infsof.2026.108146_b8","series-title":"Proceedings of the 2015 IEEE 19th International Enterprise Distributed Object Computing Conference Workshops and Demonstrations","first-page":"33","article-title":"The regorous approach to process compliance","author":"Governatori","year":"2015"},{"key":"10.1016\/j.infsof.2026.108146_b9","doi-asserted-by":"crossref","DOI":"10.1016\/j.eswa.2016.08.040","article-title":"Conformance checking based on multi-perspective declarative process models","volume":"65","author":"Burattin","year":"2016","journal-title":"Expert Syst. Appl."},{"key":"10.1016\/j.infsof.2026.108146_b10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"378","DOI":"10.1007\/978-3-030-45234-6_19","article-title":"Business process compliance using reference models of law","volume":"vol. 12076","author":"L\u00f3pez","year":"2020"},{"key":"10.1016\/j.infsof.2026.108146_b11","series-title":"Three decades of formal methods in business process compliance: A systematic literature review","author":"L\u00f3pez","year":"2024"},{"key":"10.1016\/j.infsof.2026.108146_b12","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1002\/int.20433","article-title":"Evaluating goal models within the goal-oriented requirement language","volume":"25","author":"Amyot","year":"2010","journal-title":"Int. J. Intell. Syst."},{"issue":"2","key":"10.1016\/j.infsof.2026.108146_b13","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/s00766-017-0280-z","article-title":"Goal-oriented requirements engineering: An extended systematic mapping study","volume":"24","author":"Horkoff","year":"2019","journal-title":"Requir. Eng."},{"key":"10.1016\/j.infsof.2026.108146_b14","series-title":"Proceedings of the 9th European Software Engineering Conference Held Jointly with 11th ACM SIGSOFT International Symposium on Foundations of Software Engineering","first-page":"257","article-title":"Fluent model checking for event-based systems","author":"Giannakopoulou","year":"2003"},{"key":"10.1016\/j.infsof.2026.108146_b15","series-title":"International Conference on Advanced Information Systems Engineering","first-page":"119","article-title":"Goal-oriented process monitoring: An artifact-driven monitoring extension","volume":"vol. 557","author":"Meroni","year":"2025"},{"key":"10.1016\/j.infsof.2026.108146_b16","series-title":"International Conference on Conceptual Modeling","first-page":"267","article-title":"Specialization in i* strategic rationale diagrams","volume":"Vol. 7532","author":"L\u00f3pez","year":"2018"},{"key":"10.1016\/j.infsof.2026.108146_b17","article-title":"Combining goal modelling with business process modelling: Two decades of experience with the user requirements notation standard","volume":"17","author":"Amyot","year":"2022","journal-title":"Enterp. Model. Inf. Syst. Archit."},{"key":"10.1016\/j.infsof.2026.108146_b18","series-title":"Process Mining: Data Science in Action","author":"van Der Aalst","year":"2016"},{"key":"10.1016\/j.infsof.2026.108146_b19","doi-asserted-by":"crossref","DOI":"10.4204\/EPTCS.69.5","article-title":"Declarative event-based workflow as distributed dynamic condition response graphs","volume":"69","author":"Hildebrandt","year":"2011","journal-title":"Electron. Proc. Theor. Comput. Sci."},{"key":"10.1016\/j.infsof.2026.108146_b20","series-title":"IStar 2.0 language guide","author":"Dalpiaz","year":"2016"},{"key":"10.1016\/j.infsof.2026.108146_b21","series-title":"Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics","article-title":"Formal reasoning techniques for goal models","volume":"Vol. 2800","author":"Giorgini","year":"2003"},{"key":"10.1016\/j.infsof.2026.108146_b22","doi-asserted-by":"crossref","DOI":"10.1007\/s00766-021-00350-8","article-title":"Formal reasoning for analyzing goal models that evolve over time","volume":"26","author":"Grubb","year":"2021","journal-title":"Requir. Eng."},{"key":"10.1016\/j.infsof.2026.108146_b23","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/978-3-032-02929-4_2","article-title":"High-level requirements-driven business process compliance","volume":"vol. 564","author":"Caballero-Villalobos","year":"2026"},{"key":"10.1016\/j.infsof.2026.108146_b24","unstructured":"J. Caballero-Villalobos, H.A. L\u00f3pez, Kogi: A Tool for Assessing High-Level Business Process Compliance, in: CEUR Workshop Proceedings, Vol. 4032, (ISSN: 16130073) 2025, pp. 216\u2013223."},{"key":"10.1016\/j.infsof.2026.108146_b25","series-title":"Proceedings - IEEE International Enterprise Distributed Object Computing Workshop","first-page":"287","article-title":"DECLARE: Full support for loosely-structured processes","author":"Pesic","year":"2007"},{"key":"10.1016\/j.infsof.2026.108146_b26","series-title":"Case Management Model and Notation","author":"Object Management Group","year":"2016"},{"issue":"6","key":"10.1016\/j.infsof.2026.108146_b27","doi-asserted-by":"crossref","first-page":"1803","DOI":"10.1007\/s10270-023-01120-6","article-title":"Evaluating user acceptance of knowledge-intensive business process modeling languages","volume":"22","author":"Jalali","year":"2023","journal-title":"Softw. Syst. Model."},{"key":"10.1016\/j.infsof.2026.108146_b28","series-title":"Proceedings - 2020 IEEE\/ACM International Conference on Software and System Processes","first-page":"155","article-title":"Ecoknow: Engineering effective, co-created and compliant adaptive case management systems for knowledge workers","author":"Hildebrandt","year":"2020"},{"issue":"5\u20137","key":"10.1016\/j.infsof.2026.108146_b29","doi-asserted-by":"crossref","first-page":"164","DOI":"10.1016\/j.jlap.2013.05.005","article-title":"Contracts for cross-organizational workflows as timed dynamic condition response graphs","volume":"82","author":"Hildebrandt","year":"2013","journal-title":"J. Log. Algebr. Program."},{"key":"10.1016\/j.infsof.2026.108146_b30","unstructured":"R. Str\u00f8msted, H.A. L\u00f3pez, S. Debois, M. Marquard, Dynamic evaluation forms using declarative modeling, in: CEUR Workshop Proceedings, Vol. 2196, 2018, pp. 172\u2013179."},{"key":"10.1016\/j.infsof.2026.108146_b31","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/978-3-031-41623-1_5","article-title":"Declarative choreographies with time and data","volume":"vol. 490","author":"Hildebrandt","year":"2023"},{"key":"10.1016\/j.infsof.2026.108146_b32","series-title":"Proceedings of the 31st International Conference on Cooperative Information Systems","first-page":"221","article-title":"Data integrity-by-design: Combining declarative object-centric choreographies and entity relationship models","volume":"vol. 15535","author":"Zuckmantel","year":"2026"},{"key":"10.1016\/j.infsof.2026.108146_b33","series-title":"23rd International Conference on Business Process Management","first-page":"256","article-title":"DCR-JS: An online environment for declarative process mining","author":"Christfort","year":"2025"},{"key":"10.1016\/j.infsof.2026.108146_b34","doi-asserted-by":"crossref","DOI":"10.1145\/360248.360251","article-title":"Formal verification of parallel programs","volume":"19","author":"Keller","year":"1976","journal-title":"Commun. ACM"},{"key":"10.1016\/j.infsof.2026.108146_b35","article-title":"Correctness notions for Petri nets with identifiers","volume":"190","author":"van Der Werf","year":"2024","journal-title":"Fund. Inform."},{"key":"10.1016\/j.infsof.2026.108146_b36","doi-asserted-by":"crossref","DOI":"10.1023\/B:AGNT.0000018806.20944.ef","article-title":"Tropos: An agent-oriented software development methodology","volume":"8","author":"Bresciani","year":"2004","journal-title":"Auton. Agents Multi-Agent Syst."},{"key":"10.1016\/j.infsof.2026.108146_b37","series-title":"User Requirements Notation (URN) \u2013 Language Definition","author":"ITU-T","year":"2008"},{"key":"10.1016\/j.infsof.2026.108146_b38","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0167-6423(93)90021-G","article-title":"Goal-directed requirements acquisition","volume":"20","author":"Dardenne","year":"1993","journal-title":"Sci. Comput. Program."},{"key":"10.1016\/j.infsof.2026.108146_b39","series-title":"Modelling Strategic Relationships for Process Reengineering","author":"Yu","year":"1995"},{"key":"10.1016\/j.infsof.2026.108146_b40","series-title":"Social Modeling Using the i* Framework","author":"Franch","year":"2024"},{"key":"10.1016\/j.infsof.2026.108146_b41","series-title":"Business Process Model and Notation (BPMN) Version 2.0","author":"Object Management Group","year":"2011"},{"key":"10.1016\/j.infsof.2026.108146_b42","series-title":"IJCAI International Joint Conference on Artificial Intelligence","first-page":"854","article-title":"Linear temporal logic and linear dynamic logic on finite traces","author":"Giacomo","year":"2013"},{"key":"10.1016\/j.infsof.2026.108146_b43","series-title":"Lectures on Petri Nets I: Basic Models: Advances in Petri Nets","first-page":"374","article-title":"Decidability and complexity of Petri net problems \u2014 An introduction","author":"Esparza","year":"1998"},{"key":"10.1016\/j.infsof.2026.108146_b44","series-title":"Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)","first-page":"500","article-title":"Specification, verification and explanation of violation for data aware compliance rules","volume":"vol. 5900","author":"Awad","year":"2009"},{"key":"10.1016\/j.infsof.2026.108146_b45","article-title":"On enabling data-aware compliance checking of business process models","volume":"6412 LNCS","author":"Knuplesch","year":"2013","journal-title":"Concept. Model."},{"issue":"1","key":"10.1016\/j.infsof.2026.108146_b46","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/s10270-014-0395-3","article-title":"Formalizing and applying compliance patterns for business process compliance","volume":"15","author":"Elgammal","year":"2016","journal-title":"Softw. Syst. Model."},{"key":"10.1016\/j.infsof.2026.108146_b47","series-title":"International Conference on Business Process Management","first-page":"262","article-title":"Where did I misbehave? Diagnostic information in compliance checking","volume":"vol. 7481","author":"Ramezani","year":"2012"},{"key":"10.1016\/j.infsof.2026.108146_b48","series-title":"International Conference on Service-Oriented Computing","first-page":"169","article-title":"Auditing business process compliance","volume":"vol. 4749","author":"Ghose","year":"2007"},{"key":"10.1016\/j.infsof.2026.108146_b49","series-title":"Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)","first-page":"149","article-title":"Modeling control objectives for business process compliance","volume":"vol. 4714","author":"Sadiq","year":"2007"},{"key":"10.1016\/j.infsof.2026.108146_b50","series-title":"2014 IEEE 22nd International Requirements Engineering Conference","first-page":"73","article-title":"Goal-oriented compliance with multiple regulations","author":"Ghanavati","year":"2014"},{"key":"10.1016\/j.infsof.2026.108146_b51","series-title":"Proceedings IEEE Joint International Conference on Requirements Engineering","first-page":"23","article-title":"Analyzing website privacy requirements using a privacy goal taxonomy","author":"Ant\u00f3n","year":"2002"},{"key":"10.1016\/j.infsof.2026.108146_b52","unstructured":"A.I. Ant\u00f3n, D. Bolchini, Q. He, The Use of Goals to Extract Privacy and Security Requirements from Policy Statements, in: Proceedings of the 26th IEEE International Conference on Software Engineering, 2003."},{"key":"10.1016\/j.infsof.2026.108146_b53","series-title":"Proceedings of the 16th IEEE International Requirements Engineering Conference","first-page":"335","article-title":"Aligning requirements with HIPAA in the itrust system","author":"Massey","year":"2008"},{"key":"10.1016\/j.infsof.2026.108146_b54","series-title":"14th IEEE International Requirements Engineering Conference","first-page":"49","article-title":"Towards regulatory compliance: Extracting rights and obligations to align requirements with regulations","author":"Breaux","year":"2006"},{"key":"10.1016\/j.infsof.2026.108146_b55","series-title":"Proceedings of the IEEE International Conference on Requirements Engineering","first-page":"101","article-title":"Developing production rule models to aid in acquiring requirements from legal texts","author":"Maxwell","year":"2009"},{"issue":"6","key":"10.1016\/j.infsof.2026.108146_b56","doi-asserted-by":"crossref","first-page":"2071","DOI":"10.1007\/s10270-021-00935-5","article-title":"Modeling data protection and privacy: Application and experience with GDPR","volume":"20","author":"Torre","year":"2021","journal-title":"Softw. Syst. Model."},{"key":"10.1016\/j.infsof.2026.108146_b57","series-title":"Proceedings - 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2024","first-page":"79","article-title":"A large language model approach to code and privacy policy alignment","author":"Morales","year":"2024"},{"issue":"12","key":"10.1016\/j.infsof.2026.108146_b58","doi-asserted-by":"crossref","first-page":"3879","DOI":"10.1007\/s00607-024-01331-9","article-title":"Large language models: A new approach for privacy policy analysis at scale","volume":"106","author":"Rodriguez","year":"2024","journal-title":"Computing"},{"key":"10.1016\/j.infsof.2026.108146_b59","series-title":"2025 IEEE 33rd International Requirements Engineering Conference","first-page":"142","article-title":"LLM-assisted extraction of regulatory requirements: A case study on the GDPR","author":"Abualhaija","year":"2025"},{"key":"10.1016\/j.infsof.2026.108146_b60","series-title":"Proceedings of ACM Symposium on Access Control Models and Technologies","first-page":"1","article-title":"A decade of model-driven security","author":"Basin","year":"2011"},{"key":"10.1016\/j.infsof.2026.108146_b61","unstructured":"S. G\u00fcrses, C. Troncoso, C. Diaz, Engineering privacy by design reloaded, in: Amsterdam Privacy Conference, 2015, pp. 1\u201321."},{"key":"10.1016\/j.infsof.2026.108146_b62","doi-asserted-by":"crossref","DOI":"10.1016\/j.infsof.2019.08.003","article-title":"Assessing the effectiveness of goal-oriented modeling languages: A family of experiments","volume":"116","author":"Abrah\u00e3o","year":"2019","journal-title":"Inf. Softw. Technol."},{"key":"10.1016\/j.infsof.2026.108146_b63","unstructured":"M. Salnitri, E. Paja, M. Poggianella, P. Giorgini, et al., STS-Tool 3.0: Maintaining Security in Socio-Technical Systems, in: CEUR Workshop Proceedings, Vol. 1367, 2015, pp. 205\u2013212."},{"key":"10.1016\/j.infsof.2026.108146_b64","series-title":"International Conference on Service-Oriented Computing","first-page":"212","article-title":"Goal-equivalent secure business process re-engineering","volume":"vol. 4907","author":"L\u00f3pez","year":"2007"},{"issue":"2","key":"10.1016\/j.infsof.2026.108146_b65","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1007\/s00766-004-0189-1","article-title":"Deriving tabular event-based specifications from goal-oriented requirements models","volume":"9","author":"De Landtsheer","year":"2004","journal-title":"Requir. Eng."},{"key":"10.1016\/j.infsof.2026.108146_b66","series-title":"25th International Conference on Software Engineering, 2003. Proceedings.","first-page":"744","article-title":"Goal-oriented requirements engineering: from system objectives to UML models to precise software specifications","author":"van Lamsweerde","year":"2003"},{"key":"10.1016\/j.infsof.2026.108146_b67","series-title":"Proceedings of the ACM Symposium on Applied Computing","first-page":"675","article-title":"Analyzing goal models: different approaches and how to choose among them","author":"Horkoff","year":"2011"},{"key":"10.1016\/j.infsof.2026.108146_b68","doi-asserted-by":"crossref","DOI":"10.1016\/j.infsof.2024.107622","article-title":"Systematic mapping study on requirements engineering for regulatory compliance of software systems","volume":"178","author":"Kosenkov","year":"2025","journal-title":"Inf. Softw. Technol."},{"key":"10.1016\/j.infsof.2026.108146_b69","doi-asserted-by":"crossref","first-page":"523","DOI":"10.1007\/s00766-024-00423-4","article-title":"Understanding the GDPR from a requirements engineering perspective\u2014a systematic mapping study on regulatory data protection requirements","volume":"29","author":"Negri-Ribalta","year":"2024","journal-title":"Requir. Eng."},{"issue":"9","key":"10.1016\/j.infsof.2026.108146_b70","doi-asserted-by":"crossref","first-page":"4282","DOI":"10.1109\/TSE.2023.3288901","article-title":"NLP-based automated compliance checking of data processing agreements against GDPR","volume":"49","author":"Cejas","year":"2023","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"11","key":"10.1016\/j.infsof.2026.108146_b71","doi-asserted-by":"crossref","first-page":"4647","DOI":"10.1109\/TSE.2021.3124332","article-title":"AI-enabled automation for completeness checking of privacy policies","volume":"48","author":"Amaral","year":"2021","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10.1016\/j.infsof.2026.108146_b72","unstructured":"H. Horita, H. Hirayama, Y. Tahara, A. Ohsuga, Towards goal-oriented conformance checking, in: Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE, Vol. 2015-January, (ISSN: 23259086) 2015, pp. 484\u2013489."},{"key":"10.1016\/j.infsof.2026.108146_b73","doi-asserted-by":"crossref","DOI":"10.1007\/s00766-018-00308-3","article-title":"From event logs to goals: A systematic literature review of goal-oriented process mining","author":"Ghasemi","year":"2020","journal-title":"Requir. Eng."},{"key":"10.1016\/j.infsof.2026.108146_b74","series-title":"2009 17th IEEE International Requirements Engineering Conference","first-page":"133","article-title":"Compliance analysis based on a goal-oriented requirement language evaluation methodology","author":"Ghanavati","year":"2009"},{"key":"10.1016\/j.infsof.2026.108146_b75","series-title":"2013 6th International Workshop on Requirements Engineering and Law","first-page":"1","article-title":"Regulation-based dimensional modeling for regulatory intelligence","author":"Badreddin","year":"2013"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584926001357?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584926001357?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,7,3]],"date-time":"2026-07-03T00:06:31Z","timestamp":1783037191000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950584926001357"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,8]]},"references-count":75,"alternative-id":["S0950584926001357"],"URL":"https:\/\/doi.org\/10.1016\/j.infsof.2026.108146","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[2026,8]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Aligning processes with high-level requirements: Goal-model-based compliance checking","name":"articletitle","label":"Article Title"},{"value":"Information and Software Technology","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.infsof.2026.108146","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2026 The Authors. Published by Elsevier B.V.","name":"copyright","label":"Copyright"}],"article-number":"108146"}}