{"id":"https://openalex.org/W2107808851","doi":"https://doi.org/10.1108/14637150910931479","title":"Business process verification \u2013 finally a reality!","display_name":"Business process verification \u2013 finally a reality!","publication_year":2009,"publication_date":"2009-01-31","ids":{"openalex":"https://openalex.org/W2107808851","doi":"https://doi.org/10.1108/14637150910931479","mag":"2107808851"},"language":"en","primary_location":{"id":"doi:10.1108/14637150910931479","is_oa":false,"landing_page_url":"https://doi.org/10.1108/14637150910931479","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/A5022719907","display_name":"Moe Thandar Wynn","orcid":"https://orcid.org/0000-0002-7205-8821"},"institutions":[{"id":"https://openalex.org/I160993911","display_name":"Queensland University of Technology","ror":"https://ror.org/03pnv4752","country_code":"AU","type":"education","lineage":["https://openalex.org/I160993911"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"M.T. Wynn","raw_affiliation_strings":["Business Process Management Group, Queensland University of Technology, Brisbane, Australia","Business Process Management Group, Queensland University of Technology, Brisbane, Australia#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Business Process Management Group, Queensland University of Technology, Brisbane, Australia","institution_ids":["https://openalex.org/I160993911"]},{"raw_affiliation_string":"Business Process Management Group, Queensland University of Technology, Brisbane, Australia#TAB#","institution_ids":["https://openalex.org/I160993911"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071443037","display_name":"H. M. W. Verbeek","orcid":"https://orcid.org/0000-0002-1658-9679"},"institutions":[{"id":"https://openalex.org/I160993911","display_name":"Queensland University of Technology","ror":"https://ror.org/03pnv4752","country_code":"AU","type":"education","lineage":["https://openalex.org/I160993911"]},{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["AU","NL"],"is_corresponding":false,"raw_author_name":"H.M.W. Verbeek","raw_affiliation_strings":["Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands","Queensland University of Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Queensland University of Technology","institution_ids":["https://openalex.org/I160993911"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069762894","display_name":"Wil M. P. van der Aalst","orcid":"https://orcid.org/0000-0002-0955-6940"},"institutions":[{"id":"https://openalex.org/I160993911","display_name":"Queensland University of Technology","ror":"https://ror.org/03pnv4752","country_code":"AU","type":"education","lineage":["https://openalex.org/I160993911"]},{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["AU","NL"],"is_corresponding":false,"raw_author_name":"W.M.P. van der Aalst","raw_affiliation_strings":["Business Process Management Group, Queensland University of Technology, Brisbane, Australia Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands","Queensland University of Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Business Process Management Group, Queensland University of Technology, Brisbane, Australia Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands","institution_ids":["https://openalex.org/I83019370"]},{"raw_affiliation_string":"Queensland University of Technology","institution_ids":["https://openalex.org/I160993911"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023334979","display_name":"Arthur H. M. ter Hofstede","orcid":"https://orcid.org/0000-0002-2730-0201"},"institutions":[{"id":"https://openalex.org/I160993911","display_name":"Queensland University of Technology","ror":"https://ror.org/03pnv4752","country_code":"AU","type":"education","lineage":["https://openalex.org/I160993911"]},{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["AU","NL"],"is_corresponding":false,"raw_author_name":"A.H.M. ter Hofstede","raw_affiliation_strings":["Business Process Management Group, Queensland University of Technology, Brisbane, Australia","EINDHOVEN UNIVERSITY OF TECHNOLOGY"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Business Process Management Group, Queensland University of Technology, Brisbane, Australia","institution_ids":["https://openalex.org/I160993911"]},{"raw_affiliation_string":"EINDHOVEN UNIVERSITY OF TECHNOLOGY","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5070105946","display_name":"David Edmond","orcid":null},"institutions":[{"id":"https://openalex.org/I160993911","display_name":"Queensland University of Technology","ror":"https://ror.org/03pnv4752","country_code":"AU","type":"education","lineage":["https://openalex.org/I160993911"]},{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["AU","NL"],"is_corresponding":false,"raw_author_name":"D. Edmond","raw_affiliation_strings":["Business Process Management Group, Queensland University of Technology, Brisbane, Australia","EINDHOVEN UNIVERSITY OF TECHNOLOGY"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Business Process Management Group, Queensland University of Technology, Brisbane, Australia","institution_ids":["https://openalex.org/I160993911"]},{"raw_affiliation_string":"EINDHOVEN UNIVERSITY OF TECHNOLOGY","institution_ids":["https://openalex.org/I83019370"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":34.0218,"has_fulltext":false,"cited_by_count":155,"citation_normalized_percentile":{"value":0.99859755,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":100},"biblio":{"volume":"15","issue":"1","first_page":"74","last_page":"92"},"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.9947999715805054,"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/T11125","display_name":"Petri Nets in System Modeling","score":0.9812999963760376,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8601030111312866},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.749984860420227},{"id":"https://openalex.org/keywords/joins","display_name":"Joins","score":0.7252178192138672},{"id":"https://openalex.org/keywords/business-process-model-and-notation","display_name":"Business Process Model and Notation","score":0.7105737924575806},{"id":"https://openalex.org/keywords/business-process","display_name":"Business process","score":0.6686170101165771},{"id":"https://openalex.org/keywords/business-process-modeling","display_name":"Business process modeling","score":0.6614965200424194},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6544221043586731},{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.5711755156517029},{"id":"https://openalex.org/keywords/business-process-management","display_name":"Business process management","score":0.5097782015800476},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.46694982051849365},{"id":"https://openalex.org/keywords/business-rule","display_name":"Business rule","score":0.4658169746398926},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.41126328706741333},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.35091954469680786},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.34958067536354065},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3406021296977997},{"id":"https://openalex.org/keywords/work-in-process","display_name":"Work in process","score":0.14942926168441772}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8601030111312866},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.749984860420227},{"id":"https://openalex.org/C2778692605","wikidata":"https://www.wikidata.org/wiki/Q4041866","display_name":"Joins","level":2,"score":0.7252178192138672},{"id":"https://openalex.org/C179299601","wikidata":"https://www.wikidata.org/wiki/Q1017605","display_name":"Business Process Model and Notation","level":5,"score":0.7105737924575806},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.6686170101165771},{"id":"https://openalex.org/C207505557","wikidata":"https://www.wikidata.org/wiki/Q4374012","display_name":"Business process modeling","level":4,"score":0.6614965200424194},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6544221043586731},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.5711755156517029},{"id":"https://openalex.org/C80309976","wikidata":"https://www.wikidata.org/wiki/Q7007379","display_name":"Business process management","level":4,"score":0.5097782015800476},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.46694982051849365},{"id":"https://openalex.org/C11066294","wikidata":"https://www.wikidata.org/wiki/Q1518244","display_name":"Business rule","level":4,"score":0.4658169746398926},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.41126328706741333},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.35091954469680786},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.34958067536354065},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3406021296977997},{"id":"https://openalex.org/C174998907","wikidata":"https://www.wikidata.org/wiki/Q357662","display_name":"Work in process","level":2,"score":0.14942926168441772},{"id":"https://openalex.org/C162853370","wikidata":"https://www.wikidata.org/wiki/Q39809","display_name":"Marketing","level":1,"score":0.0},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1108/14637150910931479","is_oa":false,"landing_page_url":"https://doi.org/10.1108/14637150910931479","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"},{"id":"pmh:oai:pure.tue.nl:openaire_cris_publications/8353934d-80cb-4635-ba2c-8359830d0da9","is_oa":false,"landing_page_url":"https://research.tue.nl/en/publications/8353934d-80cb-4635-ba2c-8359830d0da9","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Wynn, M T, Verbeek, H M W, Aalst, van der, W M P, Hofstede, ter, A H M & Edmond, D 2009, 'Business process verification : finally a reality!', Business Process Management Journal, vol. 15, no. 1, pp. 74-92. https://doi.org/10.1108/14637150910931479","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:tue:oai:pure.tue.nl:publications/8353934d-80cb-4635-ba2c-8359830d0da9","is_oa":false,"landing_page_url":"https://research.tue.nl/nl/publications/8353934d-80cb-4635-ba2c-8359830d0da9","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Business Process Management Journal, 15(1), 74 - 92. Emerald Group Publishing Ltd.","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/8","display_name":"Decent work and economic growth","score":0.4099999964237213}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":40,"referenced_works":["https://openalex.org/W161341641","https://openalex.org/W1490230666","https://openalex.org/W1504874300","https://openalex.org/W1509500618","https://openalex.org/W1513999490","https://openalex.org/W1518250450","https://openalex.org/W1532777614","https://openalex.org/W1541004980","https://openalex.org/W1551214605","https://openalex.org/W1569043828","https://openalex.org/W1602465280","https://openalex.org/W1604634792","https://openalex.org/W1651478352","https://openalex.org/W1903332351","https://openalex.org/W1967174286","https://openalex.org/W1979752934","https://openalex.org/W1981291974","https://openalex.org/W1990357312","https://openalex.org/W1996109622","https://openalex.org/W2020675906","https://openalex.org/W2030794738","https://openalex.org/W2046294989","https://openalex.org/W2093537559","https://openalex.org/W2113523884","https://openalex.org/W2127030216","https://openalex.org/W2127300475","https://openalex.org/W2129466958","https://openalex.org/W2150970956","https://openalex.org/W2162868766","https://openalex.org/W2166334040","https://openalex.org/W2179661259","https://openalex.org/W2911625174","https://openalex.org/W3030403042","https://openalex.org/W3124530199","https://openalex.org/W4255837018","https://openalex.org/W6632048307","https://openalex.org/W6639764861","https://openalex.org/W6677126902","https://openalex.org/W6685631781","https://openalex.org/W7073855821"],"related_works":["https://openalex.org/W2288749683","https://openalex.org/W2354844652","https://openalex.org/W93556318","https://openalex.org/W2262843272","https://openalex.org/W1576243515","https://openalex.org/W37980695","https://openalex.org/W2150476276","https://openalex.org/W142537396","https://openalex.org/W1558403398","https://openalex.org/W2403967028"],"abstract_inverted_index":{"Purpose":[0],"The":[1,43,62,144,189],"purpose":[2],"of":[3,39,55,83,182,186,194,272],"this":[4,141,195,317],"paper":[5,25,63,145,190,318],"is":[6,241],"to":[7,14,35,51,72,113,170,213,233,247,311],"demonstrate":[8],"that":[9,31,92,131,243],"process":[10,208,325],"verification":[11,29,196,307,326],"has":[12,128],"matured":[13],"a":[15,180,199,217,236,267,327],"level":[16],"where":[17],"it":[18,240],"can":[19,32,69,275],"be":[20,33,70,248,276],"used":[21,34,71,100,178],"in":[22,80,140,278,302,323],"practice.":[23],"This":[24],"reports":[26],"on":[27,47,136,266],"new":[28,168],"techniques":[30,77,138,169,308],"assess":[36],"the":[37,53,74,81,84,109,137,184,187,192,205,252],"correctness":[38,54],"real\u2010life":[40],"models.":[41],"Design/methodology/approach":[42],"proposed":[44],"approach":[45,197],"relies":[46],"using":[48,198],"formal":[49],"methods":[50],"determine":[52],"business":[56,150,203,273,304],"processes":[57,151,227,274],"with":[58,116,152,220,313],"cancellation":[59,105,153,161,221,295],"and":[60,106,154,163,166,201,223,261,290,296],"OR\u2010joins.":[61,224],"also":[64,111],"demonstrates":[65,191],"how":[66],"reduction":[67],"rules":[68,175],"improve":[73],"efficiency.":[75],"These":[76,270],"are":[78,300,309],"presented":[79,139],"context":[82],"workflow":[85,89,219,291],"language":[86,90],"yet":[87],"another":[88],"(YAWL)":[91],"provides":[93,132],"direct":[94],"support":[95],"for":[96,149,209],"20":[97],"most":[98],"frequently":[99],"patterns":[101],"found":[102,277],"today":[103],"(including":[104],"OR\u2010joins).":[107],"But":[108],"results":[110],"apply":[112],"other":[114],"languages":[115],"these":[117,172],"features":[118],"(e.g.":[119],"BPMN,":[120],"EPCs,":[121],"UML":[122],"activity":[123],"diagrams,":[124],"etc.).":[125],"An":[126],"editor":[127],"been":[129,177],"developed":[130],"diagnostic":[133],"information":[134],"based":[135],"paper.":[142],"Findings":[143],"proposes":[146],"four":[147],"properties":[148],"OR\u2010joins,":[155],"namely:":[156],"soundness,":[157,159],"weak":[158],"irreducible":[160],"regions":[162,222],"immutable":[164],"OR\u2010joins":[165],"develop":[167],"verify":[171],"properties.":[173],"Reduction":[174],"have":[176],"as":[179,216,282],"means":[181],"improving":[183],"efficiency":[185],"algorithm.":[188],"feasibility":[193],"realistic":[200],"complex":[202,230,259],"process,":[204],"visa":[206],"application":[207,283],"general":[210],"skilled":[211],"migration":[212],"Australia,":[214],"modelled":[215],"YAWL":[218],"Originality/value":[225],"Business":[226],"sometimes":[228],"require":[229,258],"execution":[231],"interdependencies":[232],"properly":[234],"complete":[235],"process.":[237,253],"For":[238],"instance,":[239],"possible":[242],"certain":[244],"activities":[245,256],"need":[246],"cancelled":[249],"mid\u2010way":[250],"though":[251,294],"Some":[254],"parallel":[255],"may":[257],"\u201cwait":[260],"see\u201d":[262],"style":[263],"synchronisation":[264],"depending":[265],"given":[268],"context.":[269],"types":[271],"various":[279],"domains,":[280],"such":[281,314],"integration,":[284],"B2B":[285],"commerce,":[286],"web":[287],"service":[288],"composition":[289],"systems.":[292],"Even":[293],"sophisticated":[297],"join":[298],"structures":[299],"present":[301],"many":[303],"processes,":[305],"existing":[306],"unable":[310],"deal":[312],"processes.":[315],"Hence,":[316],"plays":[319],"an":[320],"important":[321],"role":[322],"making":[324],"reality.":[328]},"counts_by_year":[{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":3},{"year":2022,"cited_by_count":4},{"year":2021,"cited_by_count":5},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":8},{"year":2017,"cited_by_count":9},{"year":2016,"cited_by_count":8},{"year":2015,"cited_by_count":10},{"year":2014,"cited_by_count":9},{"year":2013,"cited_by_count":10},{"year":2012,"cited_by_count":26}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}