{"id":"https://openalex.org/W7138315353","doi":"https://doi.org/10.1016/j.is.2026.102718","title":"Formal semantics for knowledge representation and automated reasoning in BPMN process models","display_name":"Formal semantics for knowledge representation and automated reasoning in BPMN process models","publication_year":2026,"publication_date":"2026-03-17","ids":{"openalex":"https://openalex.org/W7138315353","doi":"https://doi.org/10.1016/j.is.2026.102718"},"language":"en","primary_location":{"id":"doi:10.1016/j.is.2026.102718","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.is.2026.102718","pdf_url":null,"source":{"id":"https://openalex.org/S193006928","display_name":"Information Systems","issn_l":"0306-4379","issn":["0306-4379","1873-6076"],"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 Systems","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.is.2026.102718","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5094205151","display_name":"Angelo Casciani","orcid":"https://orcid.org/0009-0003-7843-8045"},"institutions":[{"id":"https://openalex.org/I861853513","display_name":"Sapienza University of Rome","ror":"https://ror.org/02be6w209","country_code":"IT","type":"education","lineage":["https://openalex.org/I861853513"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Angelo Casciani","raw_affiliation_strings":["Department of Computer, Control and Management Engineering, Sapienza University of Rome, via Ariosto 25, Rome, 00185, Italy"],"raw_orcid":"https://orcid.org/0009-0003-7843-8045","affiliations":[{"raw_affiliation_string":"Department of Computer, Control and Management Engineering, Sapienza University of Rome, via Ariosto 25, Rome, 00185, Italy","institution_ids":["https://openalex.org/I861853513"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025775611","display_name":"Simone Agostinelli","orcid":"https://orcid.org/0000-0002-6500-9802"},"institutions":[{"id":"https://openalex.org/I4210132817","display_name":"Mercatorum University","ror":"https://ror.org/03znjxt55","country_code":"IT","type":"education","lineage":["https://openalex.org/I4210132817"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Simone Agostinelli","raw_affiliation_strings":["Department of Engineering and Sciences, Mercatorum University of Rome, Piazza Mattei 10, Rome, 00186, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Engineering and Sciences, Mercatorum University of Rome, Piazza Mattei 10, Rome, 00186, Italy","institution_ids":["https://openalex.org/I4210132817"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5060460434","display_name":"Yves Lesp\u00e9rance","orcid":"https://orcid.org/0000-0003-1625-0226"},"institutions":[{"id":"https://openalex.org/I1320473756","display_name":"The Royal Melbourne Hospital","ror":"https://ror.org/005bvs909","country_code":"AU","type":"funder","lineage":["https://openalex.org/I1320473756","https://openalex.org/I4210158168"]}],"countries":["AU"],"is_corresponding":false,"raw_author_name":"Yves Lesp\u00e9rance","raw_affiliation_strings":["School of Computing Technologies, Royal Melbourne Institute of Technology, 414-418 Swanston Street, Melbourne, VIC 3000, Victoria, Australia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Computing Technologies, Royal Melbourne Institute of Technology, 414-418 Swanston Street, Melbourne, VIC 3000, Victoria, Australia","institution_ids":["https://openalex.org/I1320473756"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062400010","display_name":"Andrea Marrella","orcid":"https://orcid.org/0000-0002-1031-0374"},"institutions":[{"id":"https://openalex.org/I861853513","display_name":"Sapienza University of Rome","ror":"https://ror.org/02be6w209","country_code":"IT","type":"education","lineage":["https://openalex.org/I861853513"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Andrea Marrella","raw_affiliation_strings":["Department of Computer, Control and Management Engineering, Sapienza University of Rome, via Ariosto 25, Rome, 00185, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer, Control and Management Engineering, Sapienza University of Rome, via Ariosto 25, Rome, 00185, Italy","institution_ids":["https://openalex.org/I861853513"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5045872670","display_name":"Sebastian Sardi\u00f1a","orcid":"https://orcid.org/0000-0003-2962-0118"},"institutions":[{"id":"https://openalex.org/I192455969","display_name":"York University","ror":"https://ror.org/05fq50484","country_code":"CA","type":"education","lineage":["https://openalex.org/I192455969"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Sebastian Sardi\u00f1a","raw_affiliation_strings":["Department of Electrical Engineering and Computer Science, York University, 4700 Keele Street, Toronto, M3J 1P3, Ontario, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical Engineering and Computer Science, York University, 4700 Keele Street, Toronto, M3J 1P3, Ontario, Canada","institution_ids":["https://openalex.org/I192455969"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5094205151"],"corresponding_institution_ids":["https://openalex.org/I861853513"],"apc_list":{"value":2840,"currency":"USD","value_usd":2840},"apc_paid":{"value":2840,"currency":"USD","value_usd":2840},"fwci":16.0933,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.9773114,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":"140","issue":null,"first_page":"102718","last_page":"102718"},"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.9470999836921692,"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.9470999836921692,"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/T13062","display_name":"Cognitive Computing and Networks","score":0.006599999964237213,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.004600000102072954,"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.7441999912261963},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.6166999936103821},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5541999936103821},{"id":"https://openalex.org/keywords/formal-semantics","display_name":"Formal semantics (linguistics)","score":0.5418000221252441},{"id":"https://openalex.org/keywords/automated-reasoning","display_name":"Automated reasoning","score":0.4999000132083893},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4993000030517578},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.4733000099658966},{"id":"https://openalex.org/keywords/business-process-modeling","display_name":"Business process modeling","score":0.45680001378059387},{"id":"https://openalex.org/keywords/process-modeling","display_name":"Process modeling","score":0.4498000144958496}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8521000146865845},{"id":"https://openalex.org/C179299601","wikidata":"https://www.wikidata.org/wiki/Q1017605","display_name":"Business Process Model and Notation","level":5,"score":0.7441999912261963},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.6166999936103821},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5541999936103821},{"id":"https://openalex.org/C146499914","wikidata":"https://www.wikidata.org/wiki/Q5469969","display_name":"Formal semantics (linguistics)","level":2,"score":0.5418000221252441},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5128999948501587},{"id":"https://openalex.org/C195344581","wikidata":"https://www.wikidata.org/wiki/Q2555318","display_name":"Automated reasoning","level":2,"score":0.4999000132083893},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4993000030517578},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4733000099658966},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.4569999873638153},{"id":"https://openalex.org/C207505557","wikidata":"https://www.wikidata.org/wiki/Q4374012","display_name":"Business process modeling","level":4,"score":0.45680001378059387},{"id":"https://openalex.org/C76956256","wikidata":"https://www.wikidata.org/wiki/Q27610560","display_name":"Process modeling","level":3,"score":0.4498000144958496},{"id":"https://openalex.org/C130536060","wikidata":"https://www.wikidata.org/wiki/Q592375","display_name":"XPDL","level":4,"score":0.4471000134944916},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4323999881744385},{"id":"https://openalex.org/C37335422","wikidata":"https://www.wikidata.org/wiki/Q6888134","display_name":"Model-based reasoning","level":3,"score":0.43130001425743103},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.4309000074863434},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.41290000081062317},{"id":"https://openalex.org/C200065993","wikidata":"https://www.wikidata.org/wiki/Q3954981","display_name":"Computational semantics","level":4,"score":0.4115000069141388},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.37770000100135803},{"id":"https://openalex.org/C115925183","wikidata":"https://www.wikidata.org/wiki/Q1412694","display_name":"Knowledge-based systems","level":2,"score":0.3528999984264374},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.3456999957561493},{"id":"https://openalex.org/C2775966667","wikidata":"https://www.wikidata.org/wiki/Q6423384","display_name":"Knowledge modeling","level":3,"score":0.34389999508857727},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.34130001068115234},{"id":"https://openalex.org/C11066294","wikidata":"https://www.wikidata.org/wiki/Q1518244","display_name":"Business rule","level":4,"score":0.31130000948905945},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.29350000619888306},{"id":"https://openalex.org/C80309976","wikidata":"https://www.wikidata.org/wiki/Q7007379","display_name":"Business process management","level":4,"score":0.2793000042438507},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.27399998903274536},{"id":"https://openalex.org/C2985583900","wikidata":"https://www.wikidata.org/wiki/Q722617","display_name":"Formal description","level":2,"score":0.2565999925136566},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.25600001215934753}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1016/j.is.2026.102718","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.is.2026.102718","pdf_url":null,"source":{"id":"https://openalex.org/S193006928","display_name":"Information Systems","issn_l":"0306-4379","issn":["0306-4379","1873-6076"],"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 Systems","raw_type":"journal-article"},{"id":"pmh:oai:iris.uniroma1.it:11573/1764651","is_oa":true,"landing_page_url":"https://hdl.handle.net/11573/1764651","pdf_url":null,"source":{"id":"https://openalex.org/S4377196107","display_name":"IRIS Research product catalog (Sapienza University of Rome)","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1016/j.is.2026.102718","is_oa":true,"landing_page_url":"https://doi.org/10.1016/j.is.2026.102718","pdf_url":null,"source":{"id":"https://openalex.org/S193006928","display_name":"Information Systems","issn_l":"0306-4379","issn":["0306-4379","1873-6076"],"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 Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G8506958944","display_name":null,"funder_award_id":"CUP B53C23003500006","funder_id":"https://openalex.org/F4320322510","funder_display_name":"Sapienza Universit\u00e0 di Roma"}],"funders":[{"id":"https://openalex.org/F4320319918","display_name":"York University","ror":"https://ror.org/05fq50484"},{"id":"https://openalex.org/F4320322510","display_name":"Sapienza Universit\u00e0 di Roma","ror":"https://ror.org/02be6w209"},{"id":"https://openalex.org/F4320334593","display_name":"Natural Sciences and Engineering Research Council of Canada","ror":"https://ror.org/01h531d29"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W2045474169","https://openalex.org/W2062205093","https://openalex.org/W2164226682","https://openalex.org/W2169696634","https://openalex.org/W2570086581","https://openalex.org/W2890354776","https://openalex.org/W2984793947","https://openalex.org/W3173582346","https://openalex.org/W4315647142"],"related_works":[],"abstract_inverted_index":{"The":[0],"Business":[1],"Process":[2],"Modeling":[3],"Notation":[4],"(BPMN)":[5],"is":[6,129],"the":[7,48,116,135,166,177,186,190,193],"de":[8],"facto":[9],"standard":[10],"for":[11,18,83,119,147,168],"business":[12],"process":[13],"modeling.":[14],"While":[15],"widely":[16],"adopted":[17],"its":[19,23],"intuitive":[20],"graphical":[21],"notation,":[22],"execution":[24,40,154],"semantics":[25,136],"described":[26],"in":[27,39,96,171],"natural":[28],"language":[29,113],"lacks":[30],"a":[31,93,103,109,160,180],"commonly":[32],"agreed":[33],"formal":[34],"foundation,":[35],"leading":[36],"to":[37,57,67,78,107,132,155],"variability":[38],"across":[41],"different":[42],"BPM":[43],"systems":[44],"(BPMSs)":[45],"and":[46,88,121,182,192],"increasing":[47],"risk":[49],"of":[50,70,137,150,189,196],"creating":[51],"models":[52,152],"with":[53],"semantic":[54,84,148,194],"errors":[55,158],"costly":[56],"correct":[58],"at":[59],"runtime.":[60],"Although":[61],"many":[62],"formalisms":[63],"have":[64],"been":[65],"used":[66],"model":[68],"portions":[69],"BPMN,":[71],"their":[72],"reasoning":[73,122,169,197],"capabilities":[74],"are":[75],"mostly":[76],"restricted":[77],"control-flow,":[79],"making":[80],"them":[81],"unsuitable":[82],"analysis":[85,149],"where":[86],"data":[87],"global":[89,139],"exception":[90],"handling":[91],"play":[92],"central":[94],"role":[95],"execution.":[97],"To":[98],"address":[99],"this,":[100],"we":[101],"propose":[102],"formalization":[104],"from":[105],"BPMN":[106,138,151],"ConGolog,":[108],"logical":[110],"concurrent":[111],"processes":[112],"based":[114],"on":[115],"Situation":[117],"Calculus,":[118],"representing":[120],"about":[123],"dynamic":[124],"domains.":[125],"A":[126],"major":[127],"innovation":[128],"using":[130],"ConGolog":[131],"rigorously":[133],"capture":[134],"exceptions.":[140],"Our":[141],"framework":[142],"supports":[143],"advanced":[144],"reasoning,":[145],"allowing":[146],"before":[153],"predict":[156],"runtime":[157],"within":[159],"safe":[161],"simulation":[162],"setting,":[163],"while":[164],"laying":[165],"foundation":[167],"layers":[170],"next-generation":[172],"AI-augmented":[173],"BPMSs.":[174],"We":[175],"validate":[176],"approach":[178],"through":[179],"prototype":[181],"comprehensive":[183],"evaluation,":[184],"demonstrating":[185],"computational":[187],"feasibility":[188],"translation":[191],"correctness":[195],"tasks.":[198]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2026-03-18T00:00:00"}