{"id":"https://openalex.org/W2735008467","doi":"https://doi.org/10.1108/bpmj-05-2016-0105","title":"Detecting violation of business constraints in declarative process execution: a case study","display_name":"Detecting violation of business constraints in declarative process execution: a case study","publication_year":2017,"publication_date":"2017-07-17","ids":{"openalex":"https://openalex.org/W2735008467","doi":"https://doi.org/10.1108/bpmj-05-2016-0105","mag":"2735008467"},"language":"en","primary_location":{"id":"doi:10.1108/bpmj-05-2016-0105","is_oa":false,"landing_page_url":"https://doi.org/10.1108/bpmj-05-2016-0105","pdf_url":null,"source":{"id":"https://openalex.org/S2508752","display_name":"Business Process Management Journal","issn_l":"1463-7154","issn":["1463-7154","1758-4116"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319811","host_organization_name":"Emerald Publishing Limited","host_organization_lineage":["https://openalex.org/P4310319811"],"host_organization_lineage_names":["Emerald Publishing Limited"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Business Process Management Journal","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5051891723","display_name":"Vitus S. W. Lam","orcid":"https://orcid.org/0000-0002-8844-0291"},"institutions":[{"id":"https://openalex.org/I889458895","display_name":"University of Hong Kong","ror":"https://ror.org/02zhqgq86","country_code":"HK","type":"education","lineage":["https://openalex.org/I889458895"]}],"countries":["HK"],"is_corresponding":true,"raw_author_name":"Vitus S.W. Lam","raw_affiliation_strings":["Information Technology Services, The University of Hong Kong, Hong Kong, Hong Kong"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Information Technology Services, The University of Hong Kong, Hong Kong, Hong Kong","institution_ids":["https://openalex.org/I889458895"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5051891723"],"corresponding_institution_ids":["https://openalex.org/I889458895"],"apc_list":null,"apc_paid":null,"fwci":0.7548,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.77267788,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":96},"biblio":{"volume":"23","issue":"5","first_page":"1043","last_page":"1063"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9998999834060669,"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"}},{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.995199978351593,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9876999855041504,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8024657368659973},{"id":"https://openalex.org/keywords/business-domain","display_name":"Business domain","score":0.6286908388137817},{"id":"https://openalex.org/keywords/business-rule","display_name":"Business rule","score":0.6221679449081421},{"id":"https://openalex.org/keywords/business-process-modeling","display_name":"Business process modeling","score":0.5903834700584412},{"id":"https://openalex.org/keywords/business-process","display_name":"Business process","score":0.5859947204589844},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.556159257888794},{"id":"https://openalex.org/keywords/process-modeling","display_name":"Process modeling","score":0.4874098598957062},{"id":"https://openalex.org/keywords/artifact-centric-business-process-model","display_name":"Artifact-centric business process model","score":0.4751149117946625},{"id":"https://openalex.org/keywords/business-process-discovery","display_name":"Business process discovery","score":0.4748549461364746},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4598537087440491},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4536634087562561},{"id":"https://openalex.org/keywords/semantics-of-business-vocabulary-and-business-rules","display_name":"Semantics of Business Vocabulary and Business Rules","score":0.4484824240207672},{"id":"https://openalex.org/keywords/workbench","display_name":"Workbench","score":0.4420086443424225},{"id":"https://openalex.org/keywords/business-process-model-and-notation","display_name":"Business Process Model and Notation","score":0.43926575779914856},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.43645572662353516},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.43401965498924255},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.4291125535964966},{"id":"https://openalex.org/keywords/process-management","display_name":"Process management","score":0.4198082387447357},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.27519384026527405},{"id":"https://openalex.org/keywords/work-in-process","display_name":"Work in process","score":0.20248666405677795}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8024657368659973},{"id":"https://openalex.org/C193669473","wikidata":"https://www.wikidata.org/wiki/Q5001867","display_name":"Business domain","level":5,"score":0.6286908388137817},{"id":"https://openalex.org/C11066294","wikidata":"https://www.wikidata.org/wiki/Q1518244","display_name":"Business rule","level":4,"score":0.6221679449081421},{"id":"https://openalex.org/C207505557","wikidata":"https://www.wikidata.org/wiki/Q4374012","display_name":"Business process modeling","level":4,"score":0.5903834700584412},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.5859947204589844},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.556159257888794},{"id":"https://openalex.org/C76956256","wikidata":"https://www.wikidata.org/wiki/Q27610560","display_name":"Process modeling","level":3,"score":0.4874098598957062},{"id":"https://openalex.org/C162754035","wikidata":"https://www.wikidata.org/wiki/Q17006331","display_name":"Artifact-centric business process model","level":5,"score":0.4751149117946625},{"id":"https://openalex.org/C93453677","wikidata":"https://www.wikidata.org/wiki/Q1017580","display_name":"Business process discovery","level":5,"score":0.4748549461364746},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4598537087440491},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4536634087562561},{"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.4484824240207672},{"id":"https://openalex.org/C2779145975","wikidata":"https://www.wikidata.org/wiki/Q347690","display_name":"Workbench","level":3,"score":0.4420086443424225},{"id":"https://openalex.org/C179299601","wikidata":"https://www.wikidata.org/wiki/Q1017605","display_name":"Business Process Model and Notation","level":5,"score":0.43926575779914856},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.43645572662353516},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.43401965498924255},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4291125535964966},{"id":"https://openalex.org/C195094911","wikidata":"https://www.wikidata.org/wiki/Q14167904","display_name":"Process management","level":1,"score":0.4198082387447357},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.27519384026527405},{"id":"https://openalex.org/C174998907","wikidata":"https://www.wikidata.org/wiki/Q357662","display_name":"Work in process","level":2,"score":0.20248666405677795},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.0},{"id":"https://openalex.org/C162853370","wikidata":"https://www.wikidata.org/wiki/Q39809","display_name":"Marketing","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C36464697","wikidata":"https://www.wikidata.org/wiki/Q451553","display_name":"Visualization","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1108/bpmj-05-2016-0105","is_oa":false,"landing_page_url":"https://doi.org/10.1108/bpmj-05-2016-0105","pdf_url":null,"source":{"id":"https://openalex.org/S2508752","display_name":"Business Process Management Journal","issn_l":"1463-7154","issn":["1463-7154","1758-4116"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319811","host_organization_name":"Emerald Publishing Limited","host_organization_lineage":["https://openalex.org/P4310319811"],"host_organization_lineage_names":["Emerald Publishing Limited"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Business Process Management Journal","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.7300000190734863,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W12663536","https://openalex.org/W39491121","https://openalex.org/W52979180","https://openalex.org/W179723585","https://openalex.org/W1490252010","https://openalex.org/W1498725127","https://openalex.org/W1527982431","https://openalex.org/W1534402600","https://openalex.org/W1542501316","https://openalex.org/W1554125077","https://openalex.org/W1574339455","https://openalex.org/W1593504443","https://openalex.org/W1597808600","https://openalex.org/W1686892929","https://openalex.org/W1826622293","https://openalex.org/W1983164770","https://openalex.org/W1984936841","https://openalex.org/W1996832037","https://openalex.org/W2008442672","https://openalex.org/W2012757436","https://openalex.org/W2014087257","https://openalex.org/W2035830215","https://openalex.org/W2086647079","https://openalex.org/W2101107197","https://openalex.org/W2105848112","https://openalex.org/W2107228403","https://openalex.org/W2117189826","https://openalex.org/W2122140024","https://openalex.org/W2485562114","https://openalex.org/W2570324512","https://openalex.org/W2803998350","https://openalex.org/W2913459036","https://openalex.org/W4251712384"],"related_works":["https://openalex.org/W93556318","https://openalex.org/W2479849232","https://openalex.org/W142537396","https://openalex.org/W2002176312","https://openalex.org/W2097616329","https://openalex.org/W2080487753","https://openalex.org/W2036711222","https://openalex.org/W2057858809","https://openalex.org/W2156946939","https://openalex.org/W3023969791"],"abstract_inverted_index":{"Purpose":[0],"Declarative":[1],"process":[2,17,22,34,84,167],"modelling":[3,23,50,168],"is":[4,36,45,68,78,105,130,139,178],"a":[5,55,108,170,217,223],"constraint-centric":[6],"approach":[7],"that":[8,157,220],"treats":[9],"business":[10,16,33,52,65,89,205],"rules":[11,53,90],"as":[12],"first-class":[13],"citizens":[14],"in":[15,149,169,196],"models.":[18],"Augmenting":[19],"the":[20,29,49,64,88,92,95,102,119,122,124,133,142,146,150,158,165,183,190,197,210,213],"declarative":[21,166],"technique":[24],"with":[25],"capability":[26],"to":[27,46,48,87,164,222],"detect":[28],"constraint":[30],"violations":[31],"during":[32],"execution":[35],"of":[37,42,51,57,63,94,101,121,127,135,145,182,212],"crucial":[38],"importance.":[39],"The":[40,61,154,200],"purpose":[41],"this":[43,128],"paper":[44,129,177],"contribute":[47],"through":[54,91],"repository":[56],"pattern-oriented":[58],"templates.":[59],"Design/methodology/approach":[60],"semantics":[62],"rule":[66,206],"templates":[67,207,215],"underpinned":[69],"by":[70,107],"linear":[71],"temporal":[72,76,159],"logic":[73],"(LTL).":[74],"Automated":[75],"reasoning":[77],"then":[79],"conducted":[80],"for":[81],"determining":[82],"whether":[83],"executions":[85],"adhere":[86],"utilisation":[93,211],"Logics":[96],"Workbench":[97],"(LWB).":[98],"An":[99],"application":[100],"methodological":[103],"framework":[104,160],"illustrated":[106],"realistic":[109],"case":[110,125,147,218],"study":[111,126,148,219],"on":[112,132,189],"degree":[113,136],"requirements":[114],"verification.":[115],"Findings":[116],"To":[117],"access":[118],"practicality":[120],"approach,":[123],"based":[131],"verification":[134],"requirements,":[137],"which":[138],"different":[140,224],"from":[141],"domain":[143,225],"area":[144],"author\u2019s":[151,184],"prior":[152],"work.":[153],"findings":[155],"indicated":[156],"could":[161],"be":[162],"applied":[163],"consistent":[171],"and":[172,192,208],"efficient":[173],"manner.":[174],"Originality/value":[175],"This":[176],"an":[179],"extended":[180],"version":[181],"earlier":[185],"study.":[186,199],"More":[187],"details":[188],"LTL":[191],"LWB":[193],"are":[194],"provided":[195],"current":[198],"author":[201],"introduces":[202],"17":[203],"new":[204,214],"illustrates":[209],"via":[216],"belongs":[221],"area.":[226]},"counts_by_year":[{"year":2019,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}