{"id":"https://openalex.org/W4362607295","doi":"https://doi.org/10.1108/bpmj-11-2022-0557","title":"Assessing business process models: a literature review on\u00a0techniques for BPMN testing and formal verification","display_name":"Assessing business process models: a literature review on\u00a0techniques for BPMN testing and formal verification","publication_year":2023,"publication_date":"2023-04-05","ids":{"openalex":"https://openalex.org/W4362607295","doi":"https://doi.org/10.1108/bpmj-11-2022-0557"},"language":"en","primary_location":{"id":"doi:10.1108/bpmj-11-2022-0557","is_oa":true,"landing_page_url":"https://doi.org/10.1108/bpmj-11-2022-0557","pdf_url":"https://www.emerald.com/insight/content/doi/10.1108/BPMJ-11-2022-0557/full/pdf?title=assessing-business-process-models-a-literature-review-on-techniques-for-bpmn-testing-and-formal-verification","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":"review","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.emerald.com/insight/content/doi/10.1108/BPMJ-11-2022-0557/full/pdf?title=assessing-business-process-models-a-literature-review-on-techniques-for-bpmn-testing-and-formal-verification","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5075545468","display_name":"Tom\u00e1s Lopes","orcid":"https://orcid.org/0000-0002-5454-2927"},"institutions":[{"id":"https://openalex.org/I121345201","display_name":"Instituto de Engenharia de Sistemas e Computadores Investiga\u00e7\u00e3o e Desenvolvimento","ror":"https://ror.org/04mqy3p58","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I121345201","https://openalex.org/I4210125590"]},{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Tom\u00e1s Lopes","raw_affiliation_strings":["Department of Computer Science and Engineering, Instituto Superior T ecnico, Universidade de Lisboa, Lisboa, Portugal","Information and Decision Support Systems (IDSS), Instituto de Engenharia de Sistemas e Computadores -Investiga\u00e7\u00e3o e Desenvolvimento em Lisboa (INESC-ID), Lisboa, Portugal"],"raw_orcid":"https://orcid.org/0000-0002-5454-2927","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Instituto Superior T ecnico, Universidade de Lisboa, Lisboa, Portugal","institution_ids":["https://openalex.org/I141596103"]},{"raw_affiliation_string":"Information and Decision Support Systems (IDSS), Instituto de Engenharia de Sistemas e Computadores -Investiga\u00e7\u00e3o e Desenvolvimento em Lisboa (INESC-ID), Lisboa, Portugal","institution_ids":["https://openalex.org/I121345201"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012602475","display_name":"S\u00e9rgio Guerreiro","orcid":"https://orcid.org/0000-0002-8627-3338"},"institutions":[{"id":"https://openalex.org/I121345201","display_name":"Instituto de Engenharia de Sistemas e Computadores Investiga\u00e7\u00e3o e Desenvolvimento","ror":"https://ror.org/04mqy3p58","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I121345201","https://openalex.org/I4210125590"]},{"id":"https://openalex.org/I141596103","display_name":"University of Lisbon","ror":"https://ror.org/01c27hj86","country_code":"PT","type":"education","lineage":["https://openalex.org/I141596103"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"S\u00e9rgio Guerreiro","raw_affiliation_strings":["Department of Computer Science and Engineering, Instituto Superior T ecnico, Universidade de Lisboa, Lisboa, Portugal","Information and Decision Support Systems (IDSS), Instituto de Engenharia de Sistemas e Computadores -Investiga\u00e7\u00e3o e Desenvolvimento em Lisboa (INESC-ID), Lisboa, Portugal"],"raw_orcid":"https://orcid.org/0000-0002-8627-3338","affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering, Instituto Superior T ecnico, Universidade de Lisboa, Lisboa, Portugal","institution_ids":["https://openalex.org/I141596103"]},{"raw_affiliation_string":"Information and Decision Support Systems (IDSS), Instituto de Engenharia de Sistemas e Computadores -Investiga\u00e7\u00e3o e Desenvolvimento em Lisboa (INESC-ID), Lisboa, Portugal","institution_ids":["https://openalex.org/I121345201"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":7.5056,"has_fulltext":true,"cited_by_count":25,"citation_normalized_percentile":{"value":0.97165456,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":97,"max":99},"biblio":{"volume":"29","issue":"8","first_page":"133","last_page":"162"},"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.9997000098228455,"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.9997000098228455,"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.9886999726295471,"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/T10260","display_name":"Software Engineering Research","score":0.980400025844574,"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/business-process-model-and-notation","display_name":"Business Process Model and Notation","score":0.7868058681488037},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.739159345626831},{"id":"https://openalex.org/keywords/business-process-modeling","display_name":"Business process modeling","score":0.49424460530281067},{"id":"https://openalex.org/keywords/process-modeling","display_name":"Process modeling","score":0.4817514419555664},{"id":"https://openalex.org/keywords/business-process","display_name":"Business process","score":0.4800616204738617},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4599335491657257},{"id":"https://openalex.org/keywords/originality","display_name":"Originality","score":0.4255266785621643},{"id":"https://openalex.org/keywords/process-management","display_name":"Process management","score":0.39636728167533875},{"id":"https://openalex.org/keywords/work-in-process","display_name":"Work in process","score":0.15452119708061218},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10271292924880981},{"id":"https://openalex.org/keywords/operations-management","display_name":"Operations management","score":0.08000221848487854}],"concepts":[{"id":"https://openalex.org/C179299601","wikidata":"https://www.wikidata.org/wiki/Q1017605","display_name":"Business Process Model and Notation","level":5,"score":0.7868058681488037},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.739159345626831},{"id":"https://openalex.org/C207505557","wikidata":"https://www.wikidata.org/wiki/Q4374012","display_name":"Business process modeling","level":4,"score":0.49424460530281067},{"id":"https://openalex.org/C76956256","wikidata":"https://www.wikidata.org/wiki/Q27610560","display_name":"Process modeling","level":3,"score":0.4817514419555664},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.4800616204738617},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4599335491657257},{"id":"https://openalex.org/C2776950860","wikidata":"https://www.wikidata.org/wiki/Q2914681","display_name":"Originality","level":3,"score":0.4255266785621643},{"id":"https://openalex.org/C195094911","wikidata":"https://www.wikidata.org/wiki/Q14167904","display_name":"Process management","level":1,"score":0.39636728167533875},{"id":"https://openalex.org/C174998907","wikidata":"https://www.wikidata.org/wiki/Q357662","display_name":"Work in process","level":2,"score":0.15452119708061218},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10271292924880981},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.08000221848487854},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C11012388","wikidata":"https://www.wikidata.org/wiki/Q170658","display_name":"Creativity","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1108/bpmj-11-2022-0557","is_oa":true,"landing_page_url":"https://doi.org/10.1108/bpmj-11-2022-0557","pdf_url":"https://www.emerald.com/insight/content/doi/10.1108/BPMJ-11-2022-0557/full/pdf?title=assessing-business-process-models-a-literature-review-on-techniques-for-bpmn-testing-and-formal-verification","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":{"id":"doi:10.1108/bpmj-11-2022-0557","is_oa":true,"landing_page_url":"https://doi.org/10.1108/bpmj-11-2022-0557","pdf_url":"https://www.emerald.com/insight/content/doi/10.1108/BPMJ-11-2022-0557/full/pdf?title=assessing-business-process-models-a-literature-review-on-techniques-for-bpmn-testing-and-formal-verification","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"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4362607295.pdf","grobid_xml":"https://content.openalex.org/works/W4362607295.grobid-xml"},"referenced_works_count":46,"referenced_works":["https://openalex.org/W161838640","https://openalex.org/W818824979","https://openalex.org/W1514953324","https://openalex.org/W1525496442","https://openalex.org/W1981867729","https://openalex.org/W2016157178","https://openalex.org/W2036577277","https://openalex.org/W2037434802","https://openalex.org/W2055822229","https://openalex.org/W2095142108","https://openalex.org/W2095741627","https://openalex.org/W2107808851","https://openalex.org/W2108029475","https://openalex.org/W2109251172","https://openalex.org/W2112145696","https://openalex.org/W2119163723","https://openalex.org/W2131247527","https://openalex.org/W2131406421","https://openalex.org/W2144503691","https://openalex.org/W2168996450","https://openalex.org/W2366460091","https://openalex.org/W2496382589","https://openalex.org/W2520396339","https://openalex.org/W2536817887","https://openalex.org/W2537039036","https://openalex.org/W2566122399","https://openalex.org/W2570086581","https://openalex.org/W2596570543","https://openalex.org/W2657554294","https://openalex.org/W2744626363","https://openalex.org/W2765975748","https://openalex.org/W2801412092","https://openalex.org/W2806778610","https://openalex.org/W2877475263","https://openalex.org/W2884779312","https://openalex.org/W2888213860","https://openalex.org/W2892218186","https://openalex.org/W2910487268","https://openalex.org/W2991359911","https://openalex.org/W3042250764","https://openalex.org/W3173582346","https://openalex.org/W3196567100","https://openalex.org/W3201498555","https://openalex.org/W4295312727","https://openalex.org/W4313573029","https://openalex.org/W6684456340"],"related_works":["https://openalex.org/W1778671501","https://openalex.org/W2403967028","https://openalex.org/W3142251153","https://openalex.org/W2787262806","https://openalex.org/W2908501282","https://openalex.org/W2904052985","https://openalex.org/W1490765632","https://openalex.org/W237078725","https://openalex.org/W1914999433","https://openalex.org/W4312803163"],"abstract_inverted_index":{"Purpose":[0],"Testing":[1,74,154],"business":[2,11,33,81,139,258],"processes":[3],"is":[4,118],"crucial":[5],"to":[6,44,61,79,186],"assess":[7],"the":[8,32,63,93,107,148,195,233,241,253],"compliance":[9],"of":[10,40,49,96,132,164,235],"process":[12,34,82,140,236],"models":[13],"with":[14],"requirements.":[15],"Automating":[16],"this":[17,41,133,204,218,228],"task":[18],"optimizes":[19],"testing":[20,56,83,142,238,248,257],"efforts":[21],"and":[22,53,57,60,67,72,86,104,152,155,169,208,249,251],"reduces":[23],"human":[24],"error":[25],"while":[26],"also":[27,212],"providing":[28],"improvement":[29],"insights":[30],"for":[31,70,125,215,245,256],"modeling":[35],"activity.":[36],"The":[37,115,191],"primary":[38],"purposes":[39],"paper":[42],"are":[43,225],"conduct":[45],"a":[46],"literature":[47,128,210],"review":[48,196],"Business":[50,64],"Process":[51,65],"Model":[52],"Notation":[54],"(BPMN)":[55],"formal":[58,108],"verification":[59,109,156,250],"propose":[62],"Evaluation":[66],"Research":[68,189],"Framework":[69],"Enhancement":[71],"Continuous":[73],"(bPERFECT)":[75],"framework,":[76],"which":[77],"aims":[78],"guide":[80],"(BPT)":[84],"research":[85],"implementation.":[87],"Secondary":[88],"objectives":[89],"include":[90],"(1)":[91,232],"eliciting":[92],"existing":[94],"types":[95,143],"testing,":[97],"(2)":[98,240],"evaluating":[99],"their":[100],"impact":[101],"on":[102,120,203],"efficiency":[103],"(3)":[105,252],"assessing":[106],"techniques":[110],"that":[111,136,184],"complement":[112],"testing.":[113],"Design/methodology/approach":[114],"methodology":[116],"used":[117],"based":[119],"Kitchenham's":[121],"(2004)":[122],"original":[123],"procedures":[124],"conducting":[126],"systematic":[127],"reviews.":[129],"Findings":[130],"Results":[131],"study":[134,229],"indicate":[135],"three":[137],"distinct":[138],"model":[141,237,247],"can":[144],"be":[145,213],"found":[146],"in":[147,159,194,217,227],"literature:":[149],"black/gray-box,":[150],"regression":[151],"integration.":[153],"approaches":[157],"differ":[158],"aspects":[160,224],"such":[161,179],"as":[162,180,230],"awareness":[163],"test":[165],"data,":[166],"coverage":[167],"criteria":[168],"auxiliary":[170],"representations":[171],"used.":[172],"However,":[173],"most":[174],"solutions":[175],"pose":[176],"notable":[177],"hindrances,":[178],"BPMN":[181,246],"element":[182],"limitations,":[183],"lead":[185],"limited":[187],"practicality.":[188],"limitations/implications":[190],"databases":[192,207],"selected":[193],"protocol":[197],"may":[198],"have":[199],"excluded":[200],"relevant":[201],"studies":[202],"topic.":[205],"More":[206],"gray":[209],"could":[211],"considered":[214],"inclusion":[216],"review.":[219],"Originality/value":[220],"Three":[221],"main":[222],"originality":[223],"identified":[226],"follows:":[231],"classification":[234],"types,":[239],"future":[242],"trends":[243],"foreseen":[244],"bPERFECT":[254],"framework":[255],"processes.":[259]},"counts_by_year":[{"year":2026,"cited_by_count":4},{"year":2025,"cited_by_count":12},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":4}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}