Gesellschaft fr Informatik e.V.

Lecture Notes in Informatics


Business Process, ServicesComputing and Intelligent Service Management P-147, 229-230 (2008).

Gesellschaft für Informatik, Bonn
2008


Editors

Witold Abramowicz, Leszek Maciaszek, Ryszard Kowalczyk, Andreas Speck (eds.)


Copyright © Gesellschaft für Informatik, Bonn

Contents

An approach for semantic checks of process models

Sven Feja

Abstract


This paper presents an approach for using model checking for process models and workflows. The approach allows it to graphically state semantic validation rules on the level of processes. This enables the process modeler to use model checking techniques to get higher quality models for the further software development process.


Full Text: PDF

Gesellschaft für Informatik, Bonn
ISBN 978-3-88579-241-3


Last changed 24.01.2012 22:05:12