{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T07:55:58Z","timestamp":1725522958673},"reference-count":24,"publisher":"Wiley","issue":"5","license":[{"start":{"date-parts":[[2023,1,11]],"date-time":"2023-01-11T00:00:00Z","timestamp":1673395200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/onlinelibrary.wiley.com\/termsAndConditions#vor"}],"funder":[{"DOI":"10.13039\/501100009448","name":"Universit\u00e0 degli Studi della Campania Luigi Vanvitelli","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100009448","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["onlinelibrary.wiley.com"],"crossmark-restriction":true},"short-container-title":["Softw Pract Exp"],"published-print":{"date-parts":[[2023,5]]},"abstract":"Abstract<\/jats:title>The adoption of the business process model notation for the description of internal workflows and procedures by both public administrations and private organizations is steadily growing, thanks to the simplicity of the standard and its consistent expressivity. However, the lack of semantic support from BPMN can pose important limitations to its efficient use, as ambiguities in task definitions and communications can lead to misinterpretations. Furthermore, there is the need to validate the BPMNs, to check their adherence to regulations, especially in public administration, and to verify their conformance to security and privacy constraints. In this work, we present SemPrAnn, a semantic annotation tool for BPMN that, exploiting domain ontologies and logical rules, provides the possibility to unambiguously identify concepts in workflows and to run inferential engines against them to enforce the rules. The manuscript presents the methodology applied for the implementation of the tool, the tool itself with its exposed functionalities, and a case study demonstrating its current capabilities.<\/jats:p>","DOI":"10.1002\/spe.3184","type":"journal-article","created":{"date-parts":[[2023,1,12]],"date-time":"2023-01-12T06:20:23Z","timestamp":1673504423000},"page":"1174-1195","update-policy":"http:\/\/dx.doi.org\/10.1002\/crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["A tool for the semantic annotation, validation and optimization of business process models"],"prefix":"10.1002","volume":"53","author":[{"given":"Beniamino","family":"Di Martino","sequence":"first","affiliation":[{"name":"Department of Engineering University of Campania \u201cL. Vanvitelli\u201d Aversa Italy"},{"name":"Department of Computer Science and Information Engineering Asia University Taichung Taiwan"},{"name":"Department of Computer Science University of Vienna Vienna Austria"}]},{"given":"Luigi","family":"Colucci Cante","sequence":"additional","affiliation":[{"name":"Department of Engineering University of Campania \u201cL. Vanvitelli\u201d Aversa Italy"}]},{"ORCID":"http:\/\/orcid.org\/0000-0002-2004-4815","authenticated-orcid":false,"given":"Antonio","family":"Esposito","sequence":"additional","affiliation":[{"name":"Department of Engineering University of Campania \u201cL. Vanvitelli\u201d Aversa Italy"}]},{"given":"Mariangela","family":"Graziano","sequence":"additional","affiliation":[{"name":"Department of Engineering University of Campania \u201cL. Vanvitelli\u201d Aversa Italy"}]}],"member":"311","published-online":{"date-parts":[[2023,1,11]]},"reference":[{"key":"e_1_2_11_2_1","doi-asserted-by":"publisher","DOI":"10.4018\/jismd.2010070103"},{"key":"e_1_2_11_3_1","doi-asserted-by":"publisher","DOI":"10.3233\/SW\u2010160235"},{"key":"e_1_2_11_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72667-8_53"},{"key":"e_1_2_11_5_1","unstructured":"DimitrovM SimovA SteinS KonstantinovM.A BPMO based semantic business process modelling environment. CEUR Workshop Proceedings; 2007; 251."},{"key":"e_1_2_11_6_1","unstructured":"BelecheanuR CabralL DomingueJ et al.Deliverable 1.1: business process ontology framework. Project deliverable consortium of the FP6 project SUPER IST 2007; 26850."},{"key":"e_1_2_11_7_1","doi-asserted-by":"crossref","unstructured":"HingeK GhoseyA KoliadiszG.Process SEER: a tool for semantic effect annotation of business process models. Proceedings of the 13th IEEE International Enterprise Distributed Object Computing Conference EDOC 2009 2009:54\u201063; All Open Access Green Open Accessdoi:10.1109\/EDOC.2009.24","DOI":"10.1109\/EDOC.2009.24"},{"key":"e_1_2_11_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68234-9_56"},{"key":"e_1_2_11_9_1","doi-asserted-by":"crossref","unstructured":"Di MartinoB EspositoA NacchiaS MaistoSA.Semantic annotation of BPMN: current approaches and new methodologies. Proceedings of the 17th International Conference on Information Integration and Web\u2010Based Applications and Services iiWAS 2015\u00a0\u2013\u00a0Proceedings; 2015. doi:10.1145\/2837185.2837257","DOI":"10.1145\/2837185.2837257"},{"key":"e_1_2_11_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978\u20103\u2010030\u201021297\u20101_2"},{"key":"e_1_2_11_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85758-7_24"},{"key":"e_1_2_11_12_1","doi-asserted-by":"crossref","unstructured":"SchleicherD LeymannF SchummD WeidmannM.Compliance scopes: Extending the BPMN 2.0 meta model to specify compliance requirements. Proceedings of the 2010 IEEE International Conference on Service\u2010Oriented Computing and Applications (SOCA); 2010:1\u20108","DOI":"10.1109\/SOCA.2010.5707154"},{"key":"e_1_2_11_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-79725-6_67"},{"key":"e_1_2_11_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-08812-4_40"},{"key":"e_1_2_11_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-08812-4_44"},{"key":"e_1_2_11_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-08812-4_39"},{"key":"e_1_2_11_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-08812-4_42"},{"key":"e_1_2_11_18_1","first-page":"133","article-title":"An ontology for the business process modelling notation","volume":"267","author":"Rospocher M","year":"2014","journal-title":"Front Artif Intell Appl"},{"key":"e_1_2_11_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-50454-0_54"},{"key":"e_1_2_11_20_1","first-page":"1","article-title":"Semantic and knowledge based support to business model evaluation to stimulate green behaviour of electric vehicles' drivers and energy prosumers","volume":"13","author":"Di Martino B","year":"2021","journal-title":"J Ambient Intell Humaniz Comput"},{"key":"e_1_2_11_21_1","unstructured":"KolbP.Disco: a multilingual database of distributionally similar words. Proceedings of KONVENS\u20102008:156; Berlin."},{"key":"e_1_2_11_22_1","first-page":"81","article-title":"Experiments on the difference between semantic similarity and relatedness","volume":"4","author":"Kolb P","year":"2009","journal-title":"Electronically"},{"key":"e_1_2_11_23_1","unstructured":"MitchellJ LapataM.Vector\u2010based models of semantic composition. ACL\u201008: HLT \u2010 46th Annual Meeting of the Association for Computational Linguistics: Human Language Technologies Proceedings of the Conference; 2008:236\u2010244."},{"key":"e_1_2_11_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-94214-8_4"},{"key":"e_1_2_11_25_1","doi-asserted-by":"crossref","unstructured":"Es\u2010SattyA LemghariR OkarC.Supply chain digitalization overview SCOR model implication. Proceedings of the 2020 IEEE 13th International Colloquium of Logistics and Supply Chain Management (LOGISTIQUA); 2020:1\u20107.","DOI":"10.1109\/LOGISTIQUA49782.2020.9353936"}],"container-title":["Software: Practice and Experience"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/spe.3184","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full-xml\/10.1002\/spe.3184","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/pdf\/10.1002\/spe.3184","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,22]],"date-time":"2023-08-22T06:57:56Z","timestamp":1692687476000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/spe.3184"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,1,11]]},"references-count":24,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2023,5]]}},"alternative-id":["10.1002\/spe.3184"],"URL":"https:\/\/doi.org\/10.1002\/spe.3184","archive":["Portico"],"relation":{},"ISSN":["0038-0644","1097-024X"],"issn-type":[{"value":"0038-0644","type":"print"},{"value":"1097-024X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,1,11]]},"assertion":[{"value":"2022-07-29","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2022-12-12","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-01-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}