Process model validation: Transforming process models to extended checking models

Autor(en): Pulvermüller, E. 
Speck, A.
Feja, S.
Witt, S.
Stichwörter: Best-practices; Event driven process chain; Legal regulation; Management; Model checker; Model checking; Model elements; Model translation; Model translation and specifiers for temporal logic operators; Process model; Process model validation; Requirement specification; Semantics; Software engineering; Specifications; Temporal logic, Model checking; Verification model; Workflow models, Laws and legislation
Erscheinungsdatum: 2010
Journal: ENASE 2010 - Proceedings of the 5th International Conference on Evaluation of Novel Approaches to Software Engineering
Startseite: 214
Seitenende: 220
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.
Conference of 5th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2010 ; Conference Date: 22 July 2010 Through 24 July 2010; Conference Code:83486
ISBN: 9789898425218
Externe URL:

Show full item record

Page view(s)

Last Week
Last month
checked on Mar 3, 2024

Google ScholarTM