Formal Definition of Measures for BPMN Models

Authors:
Luis Reynoso;Elvira Rolón;Marcela Genero;Félix García;Francisco Ruiz;Mario Piattini
Affiliations:
University of Comahue, Buenos Aires, Argentina 1400;Centro Universitario Tampico-Madero, Autonomous University of Tamaulipas, Tampico, Tamaulipas, México 89336;Department of Information Technologies and Systems Indra-UCLM Research and Development Institute, University of Castilla-La Mancha, Ciudad Real, Spain 13071;Department of Information Technologies and Systems Indra-UCLM Research and Development Institute, University of Castilla-La Mancha, Ciudad Real, Spain 13071;Department of Information Technologies and Systems Indra-UCLM Research and Development Institute, University of Castilla-La Mancha, Ciudad Real, Spain 13071;Department of Information Technologies and Systems Indra-UCLM Research and Development Institute, University of Castilla-La Mancha, Ciudad Real, Spain 13071
Venue:
IWSM '09 /Mensura '09 Proceedings of the International Conferences on Software Process and Product Measurement
Year:
2009

Citing 7
Cited 1

Business Process Management: The Third Wave

Business Process Management: The Third Wave
Towards a Framework for Software Measurement Validation

IEEE Transactions on Software Engineering
From Software Metrics to Software Measurement Methods: A Process Model

ISESS '97 Proceedings of the 3rd International Software Engineering Standards Symposium (ISESS '97)
A framework for the design and verification of software measurement methods

Journal of Systems and Software
Formal definition of measures for UML statechart diagrams using OCL

Proceedings of the 2008 ACM symposium on Applied computing
Prediction Models for BPMN Usability and Maintainability

CEC '09 Proceedings of the 2009 IEEE Conference on Commerce and Enterprise Computing
On the suitability of BPMN for business process modelling

BPM'06 Proceedings of the 4th international conference on Business Process Management

Assessing the influence of import-coupling on OCL expression maintainability: A cognitive theory-based perspective

Information Sciences: an International Journal

Quantified Score

Hi-index	0.01

Visualization

Abstract

Business process models are currently attaining more relevance, and more attention is therefore being paid to their quality. This situation led us to define a set of measures for the understandability of BPMN models, which is shown in a previous work. We focus on understandability since a model must be well understood before any changes are made to it. These measures were originally informally defined in natural language. As is well known, natural language is ambiguous and may lead to misunderstandings and a misinterpretation of the concepts captured by a measure and the way in which the measure value is obtained. This has motivated us to provide the formal definition of the proposed measures using OCL (Object Constraint Language) upon the BPMN (Business Process Modeling Notation) metamodel presented in this paper. The main advantages and lessons learned (which were obtained both from the current work and from previous works carried out in relation to the formal definition of other measures) are also summarized.