BAM: A Requirements Validation and Verification Framework for Business Process Models

Requirements Engineering is an important part of software development processes. Business process models are widely used for the specification of software. Hence, the quality of the software depends on the quality of the process models. Validation of these semi-formal models against informal requirements has to be done manually. In contrast, formal requirements can be used for automatic validation and verification of process models. However, there is a gap between textual formal specification languages and graphical process models. In this contribution we present the Business Application Modeler (BAM). This is a modeling and Validation and Verification (V&V) tool, that reduces this gap by integrating formal, graphical and reusable requirement specifications into the modeling workflow. Furthermore, BAM provides the definition of customizable views on the models (MultiView), that reduce modeling complexity and allow the assignment of responsibilities. We further show how BAM integrates into a common requirements engineering process.