Exportar Publicação

A publicação pode ser exportada nos seguintes formatos: referência da APA (American Psychological Association), referência do IEEE (Institute of Electrical and Electronics Engineers), BibTeX e RIS.

Exportar Referência (APA) 
Correia, A. & Brito e Abreu, F. (2020). Enhancing the correctness of BPMN models. In Information Resources Management Association  (Ed.), Sustainable business: Concepts, methodologies, tools, and applications. (pp. 373-394). Hershey: IGI Global.
Exportar Referência (IEEE) 
A. C. Correia and F. M. Abreu,  "Enhancing the correctness of BPMN models", in Sustainable business: Concepts, methodologies, tools, and applications, Information Resources Management Association , Ed., Hershey, IGI Global, 2020, pp. 373-394
Exportar BibTeX 
@incollection{correia2020_1732208652786,
	author = "Correia, A. and Brito e Abreu, F.",
	title = "Enhancing the correctness of BPMN models",
	chapter = "",
	booktitle = "Sustainable business: Concepts, methodologies, tools, and applications",
	year = "2020",
	volume = "",
	series = "",
	edition = "",
	pages = "373-373",
	publisher = "IGI Global",
	address = "Hershey",
	url = "https://www.igi-global.com/gateway/book/222289"
}
Exportar RIS 
TY  - CHAP
TI  - Enhancing the correctness of BPMN models
T2  - Sustainable business: Concepts, methodologies, tools, and applications
AU  - Correia, A.
AU  - Brito e Abreu, F.
PY  - 2020
SP  - 373-394
DO  - 110.4018/978-1-5225-9615-8.ch017
CY  - Hershey
UR  - https://www.igi-global.com/gateway/book/222289
AB  - 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.
ER  -