2014 IEEE 22nd International Requirements Engineering Conference (RE), August 25-29, 2014, Karlskrona, Sweden

Desktop Layout

Tool Demonstrations and Posters
J1360, Chairs: Jennifer Horkoff and Richard Berntsson Svensson
Business Application Modeler: A Process Model Validation and Verification Tool
Sören Witt, Sven Feja, Andreas Speck, and Christian Hadler
(Kiel University, Germany)
Video
Abstract: (Business) Process models are common artifacts in requirements engineering. The models can be enriched with plenty of (detailed) information and their at least semi formal character even enables model driven approaches or direct execution in workflow engines. Validity of process models is crucial. Manual checking is expensive and error-prone, especially for requirements that regard the content level (e.g. compliance). To enable automated checking, an adequate method for formal specification is necessary. We present the Business Application Modeler (BAM), which is a modeling and Validation & Verification tool that integrates modeling of processes and formal graphical validation rules. These rules can be automatically applied to process models. In particular, the modeler is supported by visualizations of checking results directly in the process models. Next to highlighting mechanisms this support includes recommendations for the correction of errors.

Authors:


Time stamp: 2019-06-24T21:57:08+02:00