A Semiautomatic Process Model Verification Method based on Process Modeling Guidelines

Valter Helmuth Goldberg Júnior, Lucineia Heloisa Thom, José Palazzo Moreira de Oliveira, Marcelo Fantinato, Diego Toralles Avila

Abstract

Designing comprehensible process models is a complex task. Process analysts must rely on the experience of expert systems managers to achieve process models with high comprehensibility, also known as pragmatic quality. In the literature, this is portrayed as process modeling guidelines that help modelers to avoid common issues which hinder the comprehension of the process model. In this paper, we propose a method for the semi-automatic verification of business process models according to process modeling guidelines. This method uses the BPMN Ontology and the ontology editor \textit{Protégé} to assist the modeler with validation of the process model's syntax before verifying its pragmatic quality. The validation of the developed method was applied to a collection of 31 process models and the results show that 23 process models of the collection contain at least one guideline violation.

References

  1. Allweyer, T. and Allweyer, D. (2010). BPMN 2.0 : introduction to the standard for business process modeling. Books on Demand GmbH.
  2. Becker, J., Rosemann, M., von Uthmann, C., and Uthmann, C. V. (2000). Guidelines of Business Process Modeling. Business Process Management, 1806:241-262.
  3. Cardoso, J. (2006). Process control-flow complexity metric: An empirical validation. Services Computing, 2006. SCC'06. IEEE International . . . .
  4. Correia, A. and Abreu, F. B. e. (2012). Adding Preciseness to BPMN Models. Procedia Technology, 5:407-417.
  5. Gassen, J. B., Mendling, J., Thom, L. H., and de Oliveira, J. P. M. (2014). Business process modeling. In Proceedings of the 32nd ACM International Conference on The Design of Communication CD-ROM - SIGDOC 7814, pages 1-10, New York, New York, USA. ACM Press.
  6. Gruhn, V. and Laue, R. (2006). Complexity metrics for business process models. 9th international conference on business information . . . .
  7. Guizzardi, G. (2012). Ontological Foundations for Conceptual Modeling with Applications, pages 695-696. Springer Berlin Heidelberg, Berlin, Heidelberg.
  8. Krogstie, J. (2012). Model-Based Development and Evolution of Information Systems. Springer London, London.
  9. Leopold, H., Mendling, J., and Gunther, O. (2016). Learning from Quality Issues of BPMN Models from Industry. IEEE Software, 33(4):26-33.
  10. Mendling, J. (2008a). Metrics for Process Models. Metrics for Process Models, 6(0):103-133.
  11. Mendling, J. (2008b). Metrics for Process Models, volume 6 of Lecture Notes in Business Information Processing. Springer Berlin Heidelberg, Berlin, Heidelberg.
  12. Mendling, J., Neumann, G., and Aalst, W. M. P. V. D. (2007). On the Correlation between Process Model Metrics and Errors. 26th international conference on Conceptual modeling, pages 173-178.
  13. Mendling, J., Reijers, H. A., and van der Aalst, W. M. P. (2010). Seven process modeling guidelines (7PMG). Information and Software Technology, 52(2):127- 136.
  14. Mendling, J., Sánchez-González, L., García, F., and La Rosa, M. (2012). Thresholds for error probability measures of business process models. Journal of Systems and Software, 85(5):1188-1197.
  15. Mendling, J., Verbeek, H., van Dongen, B., van der Aalst, W., and Neumann, G. (2008). Detection and prediction of errors in EPCs of the SAP reference model. Data & Knowledge Engineering, 64(1):312-329.
  16. Moreno-Montes de Oca, I. and Snoeck, M. (2014). Pragmatic guidelines for Business Process Modeling. page 70.
  17. OMG (Object Management Group) (2015). BPMN Specification - Business Process Model and Notation.
  18. Recker, J. (2011). Evaluations of process modeling grammars : ontological, qualitative and quantitative analyses using the example of BPMN. Springer.
  19. Reijers, H. A., Mendling, J., and Recker, J. (2015). Business Process Quality Management. In Handbook on Business Process Management 1, pages 167-185. Springer Berlin Heidelberg, Berlin, Heidelberg.
  20. Rospocher, M., Ghidini, C., and Serafini, L. (2014). An ontology for the Business Process Modelling Notation. In Garbacz, P. and Kutz, O., editors, Formal Ontology in Information Systems - Proceedings of the Eighth International Conference, FOIS2014, September, 22-25, 2014, Rio de Janeiro, Brazil, volume 267, pages 133- 146. IOS Press.
  21. Sánchez-González, L., García, F., Mendling, J., Ruiz, F., and Piattini, M. (2008). Prediction of Business Process Model Quality Based on Structural Metrics.
  22. Sánchez-González, L., García, F., Ruiz, F., and Mendling, J. (2012). Quality indicators for business process models from a gateway complexity perspective. Information and Software Technology, 54(11):1159-1174.
  23. Schuette, R. and Rotthowe, T. (1998). The Guidelines of Modeling - An Approach to Enhance the Quality in Information Models. pages 240-254. Springer Berlin Heidelberg.
  24. Silver, B. (2009). BPMN Method and Style: A levels-based methodology for BPM process modeling and improvement using BPMN 2.0.
  25. Snoeck, M., Moreno-Montes de Oca, I., Haegemans, T., Scheldeman, B., and Hoste, T. (2015). Testing a selection of BPMN tools for their support of modelling guidelines. In Lecture Notes in Business Information Processing, volume 235, pages 111-125.
  26. van der Aalst, W. M. P. (2013). Business Process Management: A Comprehensive Survey. ISRN Software Engineering, 2013:1-37.
  27. Vanderfeesten, I., Cardoso, J., Mendling, J., Reijers, H. A., and van der Aalst, W. (2007). Quality metrics for business process models. BPM and Workflow . . . , pages 1-12.
  28. Vanderfeesten, I., Reijers, H. A., Mendling, J., Van Der Aalst, W. M. P., and Cardoso, J. (2008). On a quest for good process models: The cross-connectivity metric. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 5074 LNCS:480-494.
  29. White, S. a. and Miers, D. (2008). BPMN Modeling and Reference Guide.
Download


Paper Citation


in Harvard Style

Helmuth Goldberg Júnior V., Thom L., Palazzo Moreira de Oliveira J., Fantinato M. and Toralles Avila D. (2017). A Semiautomatic Process Model Verification Method based on Process Modeling Guidelines . In Proceedings of the 19th International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 978-989-758-249-3, pages 274-281. DOI: 10.5220/0006316602740281


in Bibtex Style

@conference{iceis17,
author={Valter Helmuth Goldberg Júnior and Lucineia Heloisa Thom and José Palazzo Moreira de Oliveira and Marcelo Fantinato and Diego Toralles Avila},
title={A Semiautomatic Process Model Verification Method based on Process Modeling Guidelines},
booktitle={Proceedings of the 19th International Conference on Enterprise Information Systems - Volume 3: ICEIS,},
year={2017},
pages={274-281},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006316602740281},
isbn={978-989-758-249-3},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 19th International Conference on Enterprise Information Systems - Volume 3: ICEIS,
TI - A Semiautomatic Process Model Verification Method based on Process Modeling Guidelines
SN - 978-989-758-249-3
AU - Helmuth Goldberg Júnior V.
AU - Thom L.
AU - Palazzo Moreira de Oliveira J.
AU - Fantinato M.
AU - Toralles Avila D.
PY - 2017
SP - 274
EP - 281
DO - 10.5220/0006316602740281