Quality Assurance for BPMN models
Problems discovered during the modeling phase permit to save a lot of money with respect to issues discovered later, and when specific deployment activities are already in place. For such a reason it is in general important to complement modeling methods with strategies to check their qualities, and in particular with automatic tools permitting to spot possible issues. The lesson, after a general introduction, will focus on the Business Process Modeling Notation, and qualities such as understandability and correctness. Understandability will be introduced considering a specific guidelines framework that provides suggestions on how to derive BPMN models that are easier to understand. Correctness will be discussed considering a formal semantics developed according to the SOS style and to the possibility to automatically check general properties such as safeness and soundness, as well as domain specific properties.
Lecture at NEMO2018
Date/Time: Wednesday, July 18, 2018 at 09:00