Please use this identifier to cite or link to this item:
Author(s): Correia, A.
Brito e Abreu, F.
Editor: Information Resources Management Association
Date: 2020
Title: Enhancing the correctness of BPMN models
Book title/volume: Sustainable business: Concepts, methodologies, tools, and applications
Pages: 373 - 394
Reference: Correia, A., & Brito e Abreu, F. (2020). Enhancing the correctness of BPMN models. EM Information Resources Management Association (Eds.). Sustainable business: Concepts, methodologies, tools, and applications (pp. 373-394). IGI Global.
ISBN: 9781522596165
DOI (Digital Object Identifier): 110.4018/978-1-5225-9615-8.ch017
Keywords: Model checking
Business process modeling
BPMN metamodel
Abstract: While some of the OMG's metamodels include a formal specification of well-formedness rules, using OCL, the BPMN metamodel specification only includes those rules in natural language. Although several BPMN tools claim to support, at least partly, the OMG's BPMN specification, we found that the mainstream of BPMN tools do not enforce most of the prescribed BPMN rules. Furthermore, the verification of BPMN process models publicly available showed that a relevant percentage of those BPMN process models fail in complying with the well-formedness rules of the BPMN specification. The enforcement of process model's correctness is relevant for the sake of better quality of process modeling and to attain models amenable of being enacted. In this chapter we propose supplement the BPMN metamodel with well-formedness rules expressed as OCL invariants in order to enforce BPMN models' correctness.
Peerreviewed: yes
Access type: Open Access
Appears in Collections:ISTAR-CLI - Capítulos de livros internacionais

Files in This Item:
File SizeFormat 
bookPart_24161.pdf1,08 MBAdobe PDFView/Open

FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpaceOrkut
Formato BibTex mendeley Endnote Logotipo do DeGóis Logotipo do Orcid 

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.