Abstract
Business process models support the business process management, being BPMN a widespread used notation for their modeling. However, the lack of consistent correspondence between the business process textual description and its derived models can jeopardize their quality. The technical literature offers diverse approaches for verifying the quality of such models, but there is a lack of supporting detection of semantic defects in BPMN models. Thus, based on our previous experiences on developing and applying inspection techniques for different Software Engineering artifacts, we developed BPCheck, a checklist-based inspection technique for BPMN models. Results from a first observational study conducted with inexperienced reviewers indicate the viability of BPCheck. Most of the subjects were able to detect more defects than false positives, taking from 10 to 20 min to report a defect. Such findings will drive us to evolve BPCheck aiming at to improve its efficiency and effectiveness.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Aguilar-Saven, R.S.: Business process modeling: review and framework. Int. J. Prod. Econ. 90(2), 129–149 (2004)
Harmon, P., Wolf, C.: Business process modeling survey. Business process trends. http://www.bptrends.com
Object management group: Business process model and notation. http://www.bpmn.org
Wohed, P., van der Aalst, W.M., Dumas, M., ter Hofstede, A.H., Russell, N.: On the suitability of BPMN for business process modelling. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 161–176. Springer, Heidelberg (2006)
Börger, E.: Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns, and YAWL. Softw. Syst. Model. 11(3), 305–318 (2012)
Schultz, M., Radloff, M.: Modeling concepts for internal controls in business processes – an empirically grounded extension of BPMN. In: Sadiq, S., Soffer, P., Völzer, H. (eds.) BPM 2014. LNCS, vol. 8659, pp. 184–199. Springer, Heidelberg (2014)
Penteado, A.P., et al.: Kidney transplantation process in Brazil represented in business process modeling notation. Transplant. Proc. 47(4), 963–966 (2015)
Thanh Le, N.T., Hanachi, C., Stinckwich, S., Ho, T.V.: Mapping BPMN processes to organization centered multi-agent systems to help assess crisis models. In: Núñez, M., Nguyen, N.T., Camacho, D., Trawinski, B. (eds.) ICCCI 2015. LNCS, vol. 9329, pp. 77–88. Springer, Heidelberg (2015). doi:10.1007/978-3-319-24069-5_8
Campos, A.L., Oliveira, T.: Software processes with BPMN: an empirical analysis. In: Heidrich, J., Oivo, M., Jedlitschka, A., Baldassarre, M.T. (eds.) PROFES 2013. LNCS, vol. 7983, pp. 338–341. Springer, Heidelberg (2013)
IEEE: IEEE standard glossary of software engineering terminology, standard 610.12. IEEE Press (1990)
Shull, F., Seaman, C.: Inspecting the history of inspections: an example of evidence-based technology diffusion. IEEE Softw. 25(1), 88 (2008)
de Mello, R.M., Nogueira, E., Schots, M., Werner, C.M.L., Travassos, G.H.: Verification of software product line artefacts: a checklist to support feature model inspections. J. UCS 20(5), 720–745 (2014)
Vasconcelos, A., Werner, C.: Architecture recovery and evaluation aiming at program understanding and reuse. In: Overhage, S., Ren, X.-M., Reussner, R., Stafford, J.A. (eds.) QoSA 2007. LNCS, vol. 4880, pp. 72–89. Springer, Heidelberg (2008)
Travassos, G., Shull, F., Fredericks, M., Basili, V.R.: Detecting defects in object-oriented designs: using reading techniques to increase software quality. In: ACM Sigplan Notices, vol. 34, no. 10, pp. 47-56. ACM (1999)
Shull, F., Rus, I., Basili, V.: How perspective-based reading can improve requirements inspections. Computer 33(7), 73–79 (2000)
de Mello, R.M., Pereira, W.M., Travassos, G.H.: Activity diagram inspection on requirements specification. In: 2010 Brazilian Symposium on Software Engineering, pp. 168–177. IEEE (2010)
Teixeira, E.N., de Mello, R.M., Motta, R.C., Werner, C.M.L., Vasconcelos, A.: Verification of software process line models: a checklist-based inspection approach. In Proceedings of XVIII Ibero-American Conference on Software Engineering, Peru, Lima (2015)
Denger, C., Shull, F.: A practical approach for quality-driven inspections. IEEE Softw. 24(2), 79–86 (2007)
Laitenberger, O.: A survey of software inspection technologies (2002)
Basili, V.R., Selby, R.W.: Comparing the effectiveness of software testing strategies. IEEE Trans. Softw. Eng. 12, 1278–1296 (1987)
Parnas, D., Weiss, D.: Active design reviews: principles and practice. In: Proceedings of the 8th International Conference on Software Engineering, pp. 132–136. IEEE Computer Society Press (1985)
Travassos, G.H. apud Rocha, A.R.C., Maldonado, J.C., Weber, K.C.: Qualidade de Software. Prentice Hall, São Paulo (2001)
Weber, I., Hoffmann, J., Mendling, J.: Semantic business process validation. In: Proceedings of the 3rd International Workshop on Semantic Business Process Management, vol. 472 (2008)
Börger, E., Thalheim, B.: A method for verifiable and validatable business process modeling. In: Börger, E., Cisternino, A. (eds.) Advances in Software Engineering. LNCS, vol. 5316, pp. 59–115. Springer, Heidelberg (2008)
Dijkman, R., Van Gorp, P.: BPMN 2.0 execution semantics formalized as graph rewrite rules. In: Mendling, J., Weidlich, M., Weske, M. (eds.) BPMN 2010. LNBIP, vol. 67, pp. 16–30. Springer, Heidelberg (2010)
van der Aa, H., Leopold, H., Reijers, H.A.: Detecting inconsistencies between process models and textual descriptions. In: Motahari-Nezhad, H.R., Recker, J., Weidlich, M. (eds.) BPMN 2010. LNCS, vol. 9253, pp. 90–105. Springer, Heidelberg (2015)
Acknowledgments
We thank the students of the 2014’ Object-Oriented Software Engineering course (COPPE/UFRJ) to their collaborations. Guilherme Travassos is a CNPq researcher (grant 305929/2014-3).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
de Mello, R.M., Motta, R.C., Travassos, G.H. (2016). A Checklist-Based Inspection Technique for Business Process Models. In: La Rosa, M., Loos, P., Pastor, O. (eds) Business Process Management Forum. BPM 2016. Lecture Notes in Business Information Processing, vol 260. Springer, Cham. https://doi.org/10.1007/978-3-319-45468-9_7
Download citation
DOI: https://doi.org/10.1007/978-3-319-45468-9_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-45467-2
Online ISBN: 978-3-319-45468-9
eBook Packages: Business and ManagementBusiness and Management (R0)