loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Elke Pulvermüller 1 ; Andreas Speck 2 ; Sven Feja 2 and Sören Witt 2

Affiliations: 1 University Osnabrück, Germany ; 2 Christian-Albrechts-University Kiel, Germany

ISBN: 978-989-8425-21-8

Keyword(s): Process model validation, Model checking, Model translation and specifiers for temporal logic operators.

Related Ontology Subjects/Areas/Topics: Applications ; Artificial Intelligence ; Business and Software Modeling Languages ; Business Process Management ; e-Business ; Enterprise Engineering ; Enterprise Information Systems ; Formal Methods ; Knowledge Management and Information Sharing ; Knowledge-Based Systems ; Service-Oriented Software Engineering and Management ; Simulation and Modeling ; Software and Systems Development Methodologies ; Software Engineering ; Software Engineering Methods and Techniques ; Software Quality Management ; Symbolic Systems

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-r ich requirement specifications. This reduces the gap between process models (consisting of different model element types) and verification models. (More)

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 34.204.176.189

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Pulvermüller E.; Speck A.; Feja S.; Witt S. and (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

@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},
}

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.