{"id":"https://openalex.org/W4387524456","doi":"https://doi.org/10.15439/2023f8794","title":"Formal verification of BPMN diagrams in Integrated Model of Distributed Systems (IMDS)","display_name":"Formal verification of BPMN diagrams in Integrated Model of Distributed Systems (IMDS)","publication_year":2023,"publication_date":"2023-10-11","ids":{"openalex":"https://openalex.org/W4387524456","doi":"https://doi.org/10.15439/2023f8794"},"language":"en","primary_location":{"id":"doi:10.15439/2023f8794","is_oa":true,"landing_page_url":"https://doi.org/10.15439/2023f8794","pdf_url":"https://annals-csis.org/proceedings/2023/drp/pdf/8794.pdf","source":{"id":"https://openalex.org/S4220651875","display_name":"Annals of Computer Science and Information Systems","issn_l":"2300-5963","issn":["2300-5963"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":"https://openalex.org/P4310317484","host_organization_name":"Polskie Towarzystwo Informatyczne","host_organization_lineage":["https://openalex.org/P4310317484"],"host_organization_lineage_names":["Polskie Towarzystwo Informatyczne"],"type":"conference"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Computer Science and Information Systems","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://annals-csis.org/proceedings/2023/drp/pdf/8794.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5066950874","display_name":"Wiktor B. Daszczuk","orcid":"https://orcid.org/0000-0001-7532-362X"},"institutions":[{"id":"https://openalex.org/I108403487","display_name":"Warsaw University of Technology","ror":"https://ror.org/00y0xnp53","country_code":"PL","type":"education","lineage":["https://openalex.org/I108403487"]},{"id":"https://openalex.org/I4210087266","display_name":"Institute of Computer Science","ror":"https://ror.org/003fvp964","country_code":"PL","type":"facility","lineage":["https://openalex.org/I4210087266","https://openalex.org/I99542240"]}],"countries":["PL"],"is_corresponding":true,"raw_author_name":"Wiktor Daszczuk","raw_affiliation_strings":["Institute of Computer Science , Warsaw University of Technology Nowowiejska Str. 15/19 , 00-665 Warsaw , Poland","Institute of Computer Science, Warsaw University of Technology Nowowiejska Str. 15/19, 00-665 Warsaw, Poland"],"affiliations":[{"raw_affiliation_string":"Institute of Computer Science , Warsaw University of Technology Nowowiejska Str. 15/19 , 00-665 Warsaw , Poland","institution_ids":["https://openalex.org/I108403487"]},{"raw_affiliation_string":"Institute of Computer Science, Warsaw University of Technology Nowowiejska Str. 15/19, 00-665 Warsaw, Poland","institution_ids":["https://openalex.org/I108403487","https://openalex.org/I4210087266"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5001280734","display_name":"Jakub Ja\u0142owiec","orcid":"https://orcid.org/0000-0001-9301-0651"},"institutions":[{"id":"https://openalex.org/I108403487","display_name":"Warsaw University of Technology","ror":"https://ror.org/00y0xnp53","country_code":"PL","type":"education","lineage":["https://openalex.org/I108403487"]},{"id":"https://openalex.org/I4210087266","display_name":"Institute of Computer Science","ror":"https://ror.org/003fvp964","country_code":"PL","type":"facility","lineage":["https://openalex.org/I4210087266","https://openalex.org/I99542240"]}],"countries":["PL"],"is_corresponding":false,"raw_author_name":"Jakub Ja\u0142owiec","raw_affiliation_strings":["Institute of Computer Science , Warsaw University of Technology Nowowiejska Str. 15/19 , 00-665 Warsaw , Poland","Institute of Computer Science, Warsaw University of Technology Nowowiejska Str. 15/19, 00-665 Warsaw, Poland"],"affiliations":[{"raw_affiliation_string":"Institute of Computer Science , Warsaw University of Technology Nowowiejska Str. 15/19 , 00-665 Warsaw , Poland","institution_ids":["https://openalex.org/I108403487"]},{"raw_affiliation_string":"Institute of Computer Science, Warsaw University of Technology Nowowiejska Str. 15/19, 00-665 Warsaw, Poland","institution_ids":["https://openalex.org/I108403487","https://openalex.org/I4210087266"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5066950874"],"corresponding_institution_ids":["https://openalex.org/I108403487","https://openalex.org/I4210087266"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.23664122,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"37","issue":null,"first_page":"65","last_page":"74"},"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.9902999997138977,"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.9902999997138977,"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.9639999866485596,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9284999966621399,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.7452970147132874},{"id":"https://openalex.org/keywords/business-process-model-and-notation","display_name":"Business Process Model and Notation","score":0.5752562284469604},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.43906867504119873},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4132341146469116},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4031326174736023},{"id":"https://openalex.org/keywords/business-process-modeling","display_name":"Business process modeling","score":0.2667348384857178},{"id":"https://openalex.org/keywords/business-process","display_name":"Business process","score":0.2590795159339905},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10271626710891724},{"id":"https://openalex.org/keywords/work-in-process","display_name":"Work in process","score":0.08917030692100525}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7452970147132874},{"id":"https://openalex.org/C179299601","wikidata":"https://www.wikidata.org/wiki/Q1017605","display_name":"Business Process Model and Notation","level":5,"score":0.5752562284469604},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.43906867504119873},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4132341146469116},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4031326174736023},{"id":"https://openalex.org/C207505557","wikidata":"https://www.wikidata.org/wiki/Q4374012","display_name":"Business process modeling","level":4,"score":0.2667348384857178},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.2590795159339905},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10271626710891724},{"id":"https://openalex.org/C174998907","wikidata":"https://www.wikidata.org/wiki/Q357662","display_name":"Work in process","level":2,"score":0.08917030692100525},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.15439/2023f8794","is_oa":true,"landing_page_url":"https://doi.org/10.15439/2023f8794","pdf_url":"https://annals-csis.org/proceedings/2023/drp/pdf/8794.pdf","source":{"id":"https://openalex.org/S4220651875","display_name":"Annals of Computer Science and Information Systems","issn_l":"2300-5963","issn":["2300-5963"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":"https://openalex.org/P4310317484","host_organization_name":"Polskie Towarzystwo Informatyczne","host_organization_lineage":["https://openalex.org/P4310317484"],"host_organization_lineage_names":["Polskie Towarzystwo Informatyczne"],"type":"conference"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Computer Science and Information Systems","raw_type":"proceedings-article"},{"id":"pmh:oai:doaj.org/article:8250ebc50dfb4819b30975ce39581660","is_oa":true,"landing_page_url":"https://doaj.org/article/8250ebc50dfb4819b30975ce39581660","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Annals of computer science and information systems, Vol 37, Pp 65-74 (2023)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.15439/2023f8794","is_oa":true,"landing_page_url":"https://doi.org/10.15439/2023f8794","pdf_url":"https://annals-csis.org/proceedings/2023/drp/pdf/8794.pdf","source":{"id":"https://openalex.org/S4220651875","display_name":"Annals of Computer Science and Information Systems","issn_l":"2300-5963","issn":["2300-5963"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":"https://openalex.org/P4310317484","host_organization_name":"Polskie Towarzystwo Informatyczne","host_organization_lineage":["https://openalex.org/P4310317484"],"host_organization_lineage_names":["Polskie Towarzystwo Informatyczne"],"type":"conference"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Computer Science and Information Systems","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4387524456.pdf","grobid_xml":"https://content.openalex.org/works/W4387524456.grobid-xml"},"referenced_works_count":39,"referenced_works":["https://openalex.org/W86661953","https://openalex.org/W141717080","https://openalex.org/W1500350767","https://openalex.org/W1506588809","https://openalex.org/W1529104791","https://openalex.org/W1590013720","https://openalex.org/W1711380502","https://openalex.org/W2019449790","https://openalex.org/W2039784168","https://openalex.org/W2095142108","https://openalex.org/W2129466958","https://openalex.org/W2136390858","https://openalex.org/W2169696634","https://openalex.org/W2460444813","https://openalex.org/W2495747913","https://openalex.org/W2503470518","https://openalex.org/W2525552972","https://openalex.org/W2525952446","https://openalex.org/W2527530961","https://openalex.org/W2759234693","https://openalex.org/W2765975748","https://openalex.org/W2767263582","https://openalex.org/W2767469342","https://openalex.org/W2772830697","https://openalex.org/W2777808987","https://openalex.org/W2804435447","https://openalex.org/W2897317820","https://openalex.org/W2902800525","https://openalex.org/W2910487268","https://openalex.org/W2921344107","https://openalex.org/W3201750865","https://openalex.org/W3209329276","https://openalex.org/W4205960069","https://openalex.org/W4287901611","https://openalex.org/W4362607295","https://openalex.org/W4380723712","https://openalex.org/W4391285994","https://openalex.org/W6637625862","https://openalex.org/W6746099722"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2030287586","https://openalex.org/W2784577564","https://openalex.org/W3203818570","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2181548391","https://openalex.org/W4234986120","https://openalex.org/W2149248432","https://openalex.org/W2376932109"],"abstract_inverted_index":{"Business":[0],"process":[1],"model":[2,48,129],"and":[3,30,37,77,102,117,151],"notation":[4,57],"(BPMN)":[5],"is":[6,52,126,133,155],"a":[7,21,42,85,107],"way":[8],"of":[9,41,53,64,73,80,84,87,109,114,137,144,153],"describing":[10],"business":[11,31,35,138],"processes":[12,93],"using":[13],"convenient":[14],"diagrams.In":[15],"the":[16,38,62,67,70,92,95,134],"last":[17],"decade,":[18],"it":[19],"became":[20],"de-facto":[22],"industry":[23],"standard,":[24],"widely":[25],"used":[26],"by":[27],"software":[28],"architects":[29],"analysts":[32],"to":[33,69,128,147],"describe":[34],"requirements":[36],"overall":[39],"structure":[40],"designed":[43],"information":[44,90],"system.Ensuring":[45],"that":[46],"diagrams":[47,146],"their":[49],"intended":[50],"behavior":[51],"utmost":[54],"importance":[55],"for":[56,141],"users.This":[58],"article":[59],"deals":[60],"with":[61],"definition":[63],"BPMN":[65,81,88,115,123,145],"through":[66],"conversion":[68],"Integrated":[71],"Model":[72],"Distributed":[74],"Systems":[75],"(IMDS)":[76],"automated":[78,142,149],"verification":[79,111],"diagrams.The":[82],"translation":[83,143],"subset":[86,108],"preserves":[89],"about":[91],"in":[94,112],"formal":[96],"model.This":[97],"allows":[98],"finding":[99],"partial":[100,104],"deadlocks":[101],"checking":[103],"termination":[105],"(concerning":[106],"processes),":[110],"terms":[113],"processes,":[116],"mapping":[118],"found":[119],"errors":[120],"onto":[121],"source":[122],"definition.Moreover,":[124],"IMDS":[125],"tailored":[127],"distributed":[130],"systems,":[131],"which":[132],"very":[135],"nature":[136],"processes.A":[139],"tool":[140],"IMDS,":[148],"verification,":[150],"visualization":[152],"results":[154],"developed.":[156]},"counts_by_year":[],"updated_date":"2026-03-13T14:20:09.374765","created_date":"2025-10-10T00:00:00"}