{"id":"https://openalex.org/W4415134642","doi":"https://doi.org/10.1016/j.infsof.2026.108146","title":"Aligning processes with high-level requirements: Goal-model-based compliance checking","display_name":"Aligning processes with high-level requirements: Goal-model-based compliance checking","publication_year":2026,"publication_date":"2026-04-20","ids":{"openalex":"https://openalex.org/W4415134642","doi":"https://doi.org/10.1016/j.infsof.2026.108146"},"language":"en","primary_location":{"id":"doi:10.1016/j.infsof.2026.108146","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.infsof.2026.108146","pdf_url":null,"source":{"id":"https://openalex.org/S205010575","display_name":"Information and Software Technology","issn_l":"0950-5849","issn":["0950-5849","1873-6025"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Information and Software Technology","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1016/j.infsof.2026.108146","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5119441202","display_name":"Juanita Caballero-Villalobos","orcid":"https://orcid.org/0000-0002-4915-0961"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Juanita Caballero-Villalobos","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042410764","display_name":"Hubert Baumeister","orcid":"https://orcid.org/0000-0002-9312-3047"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hubert Baumeister","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Andrea Burattin","orcid":null},"institutions":[{"id":"https://openalex.org/I96673099","display_name":"Technical University of Denmark","ror":"https://ror.org/04qtj9h94","country_code":"DK","type":"education","lineage":["https://openalex.org/I96673099"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Andrea Burattin","raw_affiliation_strings":["Technical University of Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technical University of Denmark","institution_ids":["https://openalex.org/I96673099"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5074577975","display_name":"Elda Paja","orcid":"https://orcid.org/0000-0002-8346-2467"},"institutions":[{"id":"https://openalex.org/I83467386","display_name":"IT University of Copenhagen","ror":"https://ror.org/02309jg23","country_code":"DK","type":"education","lineage":["https://openalex.org/I83467386"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Elda Paja","raw_affiliation_strings":["IT University of Copenhagen"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IT University of Copenhagen","institution_ids":["https://openalex.org/I83467386"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085074112","display_name":"Olga Kokoulina","orcid":null},"institutions":[{"id":"https://openalex.org/I124055696","display_name":"University of Copenhagen","ror":"https://ror.org/035b05819","country_code":"DK","type":"education","lineage":["https://openalex.org/I124055696"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Olga Kokoulina","raw_affiliation_strings":["University of Copenhagen - Faculty of Law"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Copenhagen - Faculty of Law","institution_ids":["https://openalex.org/I124055696"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5087594010","display_name":"Hugo A. L\u00f3pez","orcid":"https://orcid.org/0000-0001-5162-7936"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hugo  A. L\u00f3pez","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5119441202"],"corresponding_institution_ids":[],"apc_list":{"value":3350,"currency":"USD","value_usd":3350},"apc_paid":{"value":3350,"currency":"USD","value_usd":3350},"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.00278321,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"196","issue":null,"first_page":"108146","last_page":"108146"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10430","display_name":"Software Engineering Techniques and Practices","score":0.9975000023841858,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10430","display_name":"Software Engineering Techniques and Practices","score":0.9975000023841858,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9965000152587891,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9932000041007996,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/modularity","display_name":"Modularity (biology)","score":0.6013000011444092},{"id":"https://openalex.org/keywords/business-process","display_name":"Business process","score":0.5449000000953674},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4952000081539154},{"id":"https://openalex.org/keywords/conformance-checking","display_name":"Conformance checking","score":0.49070000648498535},{"id":"https://openalex.org/keywords/compliance","display_name":"Compliance (psychology)","score":0.4593999981880188},{"id":"https://openalex.org/keywords/quality","display_name":"Quality (philosophy)","score":0.4514000117778778},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.4284999966621399},{"id":"https://openalex.org/keywords/underpinning","display_name":"Underpinning","score":0.41280001401901245},{"id":"https://openalex.org/keywords/transparency","display_name":"Transparency (behavior)","score":0.3903000056743622},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.34689998626708984}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6725000143051147},{"id":"https://openalex.org/C2779478453","wikidata":"https://www.wikidata.org/wiki/Q6889748","display_name":"Modularity (biology)","level":2,"score":0.6013000011444092},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.5449000000953674},{"id":"https://openalex.org/C195094911","wikidata":"https://www.wikidata.org/wiki/Q14167904","display_name":"Process management","level":1,"score":0.5202000141143799},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.5041999816894531},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4952000081539154},{"id":"https://openalex.org/C2775948798","wikidata":"https://www.wikidata.org/wiki/Q5160261","display_name":"Conformance checking","level":5,"score":0.49070000648498535},{"id":"https://openalex.org/C2781460075","wikidata":"https://www.wikidata.org/wiki/Q1399332","display_name":"Compliance (psychology)","level":2,"score":0.4593999981880188},{"id":"https://openalex.org/C2779530757","wikidata":"https://www.wikidata.org/wiki/Q1207505","display_name":"Quality (philosophy)","level":2,"score":0.4514000117778778},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4284999966621399},{"id":"https://openalex.org/C2780871342","wikidata":"https://www.wikidata.org/wiki/Q7883752","display_name":"Underpinning","level":2,"score":0.41280001401901245},{"id":"https://openalex.org/C2780233690","wikidata":"https://www.wikidata.org/wiki/Q535347","display_name":"Transparency (behavior)","level":2,"score":0.3903000056743622},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.36970001459121704},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.34689998626708984},{"id":"https://openalex.org/C9586889","wikidata":"https://www.wikidata.org/wiki/Q5575167","display_name":"Goal modeling","level":4,"score":0.34119999408721924},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.3366999924182892},{"id":"https://openalex.org/C76956256","wikidata":"https://www.wikidata.org/wiki/Q27610560","display_name":"Process modeling","level":3,"score":0.3359000086784363},{"id":"https://openalex.org/C207505557","wikidata":"https://www.wikidata.org/wiki/Q4374012","display_name":"Business process modeling","level":4,"score":0.33489999175071716},{"id":"https://openalex.org/C153876917","wikidata":"https://www.wikidata.org/wiki/Q899704","display_name":"Traceability","level":2,"score":0.33239999413490295},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.32440000772476196},{"id":"https://openalex.org/C123247970","wikidata":"https://www.wikidata.org/wiki/Q5001932","display_name":"Business requirements","level":4,"score":0.31139999628067017},{"id":"https://openalex.org/C11066294","wikidata":"https://www.wikidata.org/wiki/Q1518244","display_name":"Business rule","level":4,"score":0.3075999915599823},{"id":"https://openalex.org/C2778012447","wikidata":"https://www.wikidata.org/wiki/Q1034415","display_name":"Scope (computer science)","level":2,"score":0.2962999939918518},{"id":"https://openalex.org/C56739046","wikidata":"https://www.wikidata.org/wiki/Q192060","display_name":"Knowledge management","level":1,"score":0.2919999957084656},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.27730000019073486},{"id":"https://openalex.org/C80309976","wikidata":"https://www.wikidata.org/wiki/Q7007379","display_name":"Business process management","level":4,"score":0.27709999680519104},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.2736000120639801},{"id":"https://openalex.org/C77019957","wikidata":"https://www.wikidata.org/wiki/Q2689057","display_name":"Dependability","level":2,"score":0.27320000529289246},{"id":"https://openalex.org/C539667460","wikidata":"https://www.wikidata.org/wiki/Q2414942","display_name":"Management science","level":1,"score":0.27320000529289246},{"id":"https://openalex.org/C179299601","wikidata":"https://www.wikidata.org/wiki/Q1017605","display_name":"Business Process Model and Notation","level":5,"score":0.2718000113964081},{"id":"https://openalex.org/C93453677","wikidata":"https://www.wikidata.org/wiki/Q1017580","display_name":"Business process discovery","level":5,"score":0.2619999945163727},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.2615000009536743},{"id":"https://openalex.org/C177688676","wikidata":"https://www.wikidata.org/wiki/Q7449106","display_name":"Semantics of Business Vocabulary and Business Rules","level":5,"score":0.2581999897956848},{"id":"https://openalex.org/C2781018962","wikidata":"https://www.wikidata.org/wiki/Q5164884","display_name":"Container (type theory)","level":2,"score":0.2563000023365021},{"id":"https://openalex.org/C106436119","wikidata":"https://www.wikidata.org/wiki/Q836575","display_name":"Quality assurance","level":3,"score":0.25029999017715454}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1016/j.infsof.2026.108146","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.infsof.2026.108146","pdf_url":null,"source":{"id":"https://openalex.org/S205010575","display_name":"Information and Software Technology","issn_l":"0950-5849","issn":["0950-5849","1873-6025"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Information and Software Technology","raw_type":"journal-article"},{"id":"doi:10.2139/ssrn.5601124","is_oa":true,"landing_page_url":"https://doi.org/10.2139/ssrn.5601124","pdf_url":null,"source":{"id":"https://openalex.org/S4210172589","display_name":"SSRN Electronic Journal","issn_l":"1556-5068","issn":["1556-5068"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1318003438","host_organization_name":"RELX Group (Netherlands)","host_organization_lineage":["https://openalex.org/I1318003438"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"posted-content"}],"best_oa_location":{"id":"doi:10.1016/j.infsof.2026.108146","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.infsof.2026.108146","pdf_url":null,"source":{"id":"https://openalex.org/S205010575","display_name":"Information and Software Technology","issn_l":"0950-5849","issn":["0950-5849","1873-6025"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320990","host_organization_name":"Elsevier BV","host_organization_lineage":["https://openalex.org/P4310320990"],"host_organization_lineage_names":["Elsevier BV"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Information and Software Technology","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320310490","display_name":"Villum Fonden","ror":"https://ror.org/007ww2d15"},{"id":"https://openalex.org/F4320313796","display_name":"Innovationsfonden","ror":"https://ror.org/00daj4111"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W1797585579","https://openalex.org/W1994350081","https://openalex.org/W2017739343","https://openalex.org/W2107930672","https://openalex.org/W2109282045","https://openalex.org/W2110279509","https://openalex.org/W2129580698","https://openalex.org/W2130891285","https://openalex.org/W2156683747","https://openalex.org/W2755269200","https://openalex.org/W2909230076","https://openalex.org/W2968013754","https://openalex.org/W2979415630","https://openalex.org/W3020814836","https://openalex.org/W3160441582","https://openalex.org/W3211102095","https://openalex.org/W3212063679","https://openalex.org/W4253041212","https://openalex.org/W4382318094","https://openalex.org/W4385495559","https://openalex.org/W4386321379","https://openalex.org/W4400491717","https://openalex.org/W4401808240","https://openalex.org/W4404212864","https://openalex.org/W4413704795"],"related_works":[],"abstract_inverted_index":{"ContextProcess":[0],"compliance":[1,50,87,109,198,261],"refers":[2],"to":[3,18,21,76,103,115,135,232,270,281],"the":[4,23,26,69,105,116,193,209,240,251],"alignment":[5],"between":[6],"business":[7,48,120],"processes":[8,150],"and":[9,25,39,65,73,93,122,141,152,162,167,202,215,221,238,265,275],"regulatory":[10,59],"requirements.":[11],"Compliance":[12,177],"is":[13,178],"difficult":[14],"because":[15],"it":[16,228],"needs":[17],"be":[19,89],"able":[20],"express":[22],"intent":[24],"possible":[27],"interpretations":[28],"of":[29,71,108,118,242],"laws":[30],"into":[31,199],"formal":[32],"models,":[33,166],"align":[34],"models":[35,131,134],"with":[36,132,146,174,189],"foreseeable":[37],"executions,":[38],"inspect":[40],"whether":[41],"these":[42],"executions":[43],"could":[44],"generate":[45],"violations.":[46],"While":[47],"process":[49,99,130,172],"has":[51,211,229],"been":[52],"studied":[53],"through":[54,181],"conformance":[55,283],"checking":[56,110,262],"techniques,":[57],"most":[58],"requirements":[60,80,95],"are":[61,81,154,187],"defined":[62],"in":[63,235],"subjective":[64,123],"high-level":[66,92,119,264],"terms,":[67],"limiting":[68],"application":[70],"rule-":[72],"alignment-checking":[74],"algorithms":[75],"restricted":[77],"cases":[78],"where":[79,184],"formally":[82],"specified.ObjectiveThis":[83],"paper":[84],"investigates":[85],"how":[86],"can":[88],"assessed":[90],"against":[91,263],"non-functional":[94,139,266],"rather":[96],"than":[97],"low-level":[98],"events.":[100],"We":[101,196],"aim":[102],"raise":[104],"abstraction":[106],"level":[107],"from":[111,192,254],"specific":[112],"task":[113],"execution":[114],"satisfaction":[117,278],"goals":[121,161],"qualities.MethodWe":[124],"propose":[125],"a":[126,168,206,225],"framework":[127,210],"that":[128],"links":[129],"goal":[133,175,277],"capture":[136],"functional":[137],"decomposition,":[138],"requirements,":[140,267],"contribution":[142],"links,":[143],"developed":[144],"iteratively":[145],"legal":[147,226],"practitioners.":[148],"Business":[149],"(imperative":[151],"declarative)":[153],"represented":[155],"as":[156,164,248],"labeled":[157],"transition":[158],"systems":[159],"(LTS),":[160],"qualities":[163,186],"i*":[165],"mapping":[169],"function":[170],"synchronizes":[171],"activities":[173],"elements.":[176],"then":[179],"checked":[180],"state":[182],"reachability":[183],"all":[185],"satisfied,":[188],"computational":[190],"support":[191],"Kogi":[194],"tool.":[195],"refine":[197],"weak,":[200,220],"strong,":[201,219],"monotonic":[203,222],"quality":[204],"satisfactionResultsFrom":[205],"technical":[207],"view,":[208],"demonstrated":[212],"expressiveness,":[213],"feasibility,":[214],"modularity":[216],"by":[217,250],"distinguishing":[218],"compliance.":[223],"From":[224],"perspective,":[227],"shown":[230],"potential":[231,269],"enhance":[233],"transparency":[234],"evidence-based":[236],"decision-making":[237],"supports":[239],"traceability":[241,279],"knowledge":[243],"bases":[244],"underpinning":[245],"system":[246],"development,":[247],"illustrated":[249],"use":[252],"case":[253],"Regulation":[255],"EC":[256],"261/2004.ConclusionsThe":[257],"proposed":[258],"approach":[259],"enables":[260],"showing":[268],"distinguish":[271],"among":[272],"compliant":[273],"behaviours":[274],"increase":[276],"compared":[280],"rule-based":[282],"methods.":[284]},"counts_by_year":[],"updated_date":"2026-07-15T18:14:33.161393","created_date":"2025-10-14T00:00:00"}