{"id":"https://openalex.org/W1534402600","doi":"https://doi.org/10.1108/bpmj-10-2014-0092","title":"Constraint-based reasoning on declarative process execution with the logics workbench","display_name":"Constraint-based reasoning on declarative process execution with the logics workbench","publication_year":2015,"publication_date":"2015-05-28","ids":{"openalex":"https://openalex.org/W1534402600","doi":"https://doi.org/10.1108/bpmj-10-2014-0092","mag":"1534402600"},"language":"en","primary_location":{"id":"doi:10.1108/bpmj-10-2014-0092","is_oa":false,"landing_page_url":"https://doi.org/10.1108/bpmj-10-2014-0092","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 Lam","raw_affiliation_strings":["Department of Information Technology Services, The University of Hong Kong, Hong Kong, Hong Kong","(Department of Information Technology Services, The University of Hong Kong, Hong Kong, Hong Kong)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Information Technology Services, The University of Hong Kong, Hong Kong, Hong Kong","institution_ids":["https://openalex.org/I889458895"]},{"raw_affiliation_string":"(Department of 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":1.063,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.80682359,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"21","issue":"3","first_page":"586","last_page":"609"},"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.9998000264167786,"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.9998000264167786,"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/T10142","display_name":"Formal Methods in Verification","score":0.993399977684021,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9919999837875366,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7651828527450562},{"id":"https://openalex.org/keywords/business-rule","display_name":"Business rule","score":0.6076977252960205},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5924466848373413},{"id":"https://openalex.org/keywords/business-process-model-and-notation","display_name":"Business Process Model and Notation","score":0.48607543110847473},{"id":"https://openalex.org/keywords/business-process-modeling","display_name":"Business process modeling","score":0.4796367287635803},{"id":"https://openalex.org/keywords/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.4781516492366791},{"id":"https://openalex.org/keywords/business-process","display_name":"Business process","score":0.4717082679271698},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.45577266812324524},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.36414313316345215},{"id":"https://openalex.org/keywords/work-in-process","display_name":"Work in process","score":0.14650484919548035},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.11960190534591675}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7651828527450562},{"id":"https://openalex.org/C11066294","wikidata":"https://www.wikidata.org/wiki/Q1518244","display_name":"Business rule","level":4,"score":0.6076977252960205},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5924466848373413},{"id":"https://openalex.org/C179299601","wikidata":"https://www.wikidata.org/wiki/Q1017605","display_name":"Business Process Model and Notation","level":5,"score":0.48607543110847473},{"id":"https://openalex.org/C207505557","wikidata":"https://www.wikidata.org/wiki/Q4374012","display_name":"Business process modeling","level":4,"score":0.4796367287635803},{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.4781516492366791},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.4717082679271698},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.45577266812324524},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36414313316345215},{"id":"https://openalex.org/C174998907","wikidata":"https://www.wikidata.org/wiki/Q357662","display_name":"Work in process","level":2,"score":0.14650484919548035},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.11960190534591675},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C162853370","wikidata":"https://www.wikidata.org/wiki/Q39809","display_name":"Marketing","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1108/bpmj-10-2014-0092","is_oa":false,"landing_page_url":"https://doi.org/10.1108/bpmj-10-2014-0092","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":[{"score":0.47999998927116394,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":19,"referenced_works":["https://openalex.org/W12663536","https://openalex.org/W39491121","https://openalex.org/W52979180","https://openalex.org/W1490252010","https://openalex.org/W1542501316","https://openalex.org/W1554125077","https://openalex.org/W1593504443","https://openalex.org/W1597808600","https://openalex.org/W1686892929","https://openalex.org/W1826622293","https://openalex.org/W1984936841","https://openalex.org/W1996832037","https://openalex.org/W2035830215","https://openalex.org/W2101107197","https://openalex.org/W2105848112","https://openalex.org/W2913459036","https://openalex.org/W4251228600","https://openalex.org/W6602184357","https://openalex.org/W6635764468"],"related_works":["https://openalex.org/W93556318","https://openalex.org/W2150476276","https://openalex.org/W3121251068","https://openalex.org/W2408087754","https://openalex.org/W4300427051","https://openalex.org/W2036913131","https://openalex.org/W1964084506","https://openalex.org/W2397112530","https://openalex.org/W3093488528","https://openalex.org/W2336278106"],"abstract_inverted_index":{"Purpose":[0],"\u2013":[1,57,115,197],"An":[2],"integral":[3],"part":[4],"of":[5,15,28,52,68,91,99,121,128,136,160,214,254],"declarative":[6,17,53,186],"process":[7,54,124,187],"modelling":[8],"is":[9,19,31,64,72,82,230,248],"to":[10,32,74,233],"guarantee":[11],"that":[12,71,139,178],"the":[13,22,50,59,89,96,100,119,161,236,244,251],"execution":[14,220,257],"a":[16,34,61,75,85,168,255],"workflow":[18],"compliant":[20],"with":[21,235],"respective":[23],"business":[24,39,45,62,104,132,200,206,223,260],"rules.":[25,261],"The":[26,146,158,175],"purpose":[27],"this":[29],"paper":[30],"establish":[33],"formal":[35,162],"framework":[36],"for":[37,87,150,250],"representing":[38],"rules":[40,46,133,207,224],"and":[41,130,144,194,222,242],"determining":[42],"whether":[43],"any":[44],"are":[47,107,203,208,225],"violated":[48],"during":[49],"executions":[51,125],"models.":[55],"Design/methodology/approach":[56],"In":[58],"approach,":[60],"rule":[63,105,201],"phrased":[65],"in":[66,110,134,210,227],"terms":[67,135],"restricted":[69,137,189,211],"English":[70,138,212],"related":[73],"constraint":[76,92],"template.":[77],"Linear":[78],"temporal":[79,153],"logic":[80],"(LTL)":[81],"employed":[83],"as":[84],"formalism":[86],"defining":[88],"set":[90],"templates.":[93],"By":[94],"exploiting":[95],"theorem-proving":[97],"feature":[98],"Logics":[101],"Workbench":[102],"(LWB),":[103],"violations":[106],"then":[108],"detected":[109],"an":[111],"automatic":[112],"manner.":[113],"Findings":[114],"This":[116],"study":[117,170],"explored":[118],"viability":[120],"encoding:":[122],"first,":[123],"by":[126,167,184],"means":[127],"LTL":[129,193],"second,":[131,205],"built":[140],"upon":[141],"pattern-oriented":[142,191],"templates":[143,202],"LTL.":[145,228],"LWB":[147,247],"was":[148,165],"used":[149,249],"carrying":[151],"out":[152],"reasoning":[154,180],"through":[155],"automated":[156],"techniques.":[157],"applicability":[159],"verification":[163],"approach":[164],"exemplified":[166],"case":[169],"concerning":[171],"supply":[172],"chain":[173],"management.":[174],"findings":[176],"showed":[177],"practical":[179],"could":[181],"be":[182],"achieved":[183],"combining":[185],"modelling,":[188],"English,":[190],"templates,":[192],"LWB.":[195],"Originality/value":[196],"First,":[198],"new":[199],"proposed;":[204],"expressed":[209],"instead":[213],"graphical":[215],"constructs;":[216],"third,":[217],"both":[218],"finite":[219,256],"trace":[221,258],"grounded":[226],"There":[229],"no":[231],"need":[232],"deal":[234],"semantic":[237],"differences":[238],"between":[239],"different":[240],"formalisms;":[241],"finally,":[243],"theorem":[245],"prover":[246],"conformance":[252],"checking":[253],"against":[259]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}