PROCESS MODEL VALIDATION - Transforming Process Models to Extended Checking Models

Elke Pulvermüller, Andreas Speck, Sven Feja, Sören Witt

2010

Abstract

Process and workflow models are typical means to describe the dynamic activities of a system. Therefore, it is of high interest to validate these models. Many kinds of (business) rules, best practices, patterns, legal regulations may serve as specifications which the models have to fulfill. An already established technique to validate models of dynamic activities is model checking. In model checking the requirements are expressed by temporal logic. Temporal logic allows describing temporal dependencies. The models to be verified by model checkers are automata. In this context the question is how to transform process or workflow models into automata and how to specify the temporal logic in the way that the semantic of the process models is considered sufficiently. In our paper we present three approach to transform process models to checkable automata. We use the example of ARIS Event-driven Process Chains. In particular, the third approach introduces specializers enabling semantic-rich requirement specifications. This reduces the gap between process models (consisting of different model element types) and verification models.

Paper Citation

in Harvard Style

Pulvermüller E., Speck A., Feja S. and Witt S. (2010). PROCESS MODEL VALIDATION - Transforming Process Models to Extended Checking Models . In Proceedings of the Fifth International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-8425-21-8, pages 214-220. DOI: 10.5220/0003016602140220

in Bibtex Style

@conference{enase10,
author={Elke Pulvermüller and Andreas Speck and Sven Feja and Sören Witt},
title={PROCESS MODEL VALIDATION - Transforming Process Models to Extended Checking Models},
booktitle={Proceedings of the Fifth International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2010},
pages={214-220},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003016602140220},
isbn={978-989-8425-21-8},
}

in EndNote Style

TY - CONF
JO - Proceedings of the Fifth International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - PROCESS MODEL VALIDATION - Transforming Process Models to Extended Checking Models
SN - 978-989-8425-21-8
AU - Pulvermüller E.
AU - Speck A.
AU - Feja S.
AU - Witt S.
PY - 2010
SP - 214
EP - 220
DO - 10.5220/0003016602140220