A Checklist-Based Inspection Technique for Business Process Models

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.