Gesellschaft für Informatik e.V.

Lecture Notes in Informatics

Business Process and Services Computing 1st International Working Conference on Business Process and Services Computing BPSC 2007 September 25 - 26, 2007, Leipzig, Germany P-116, 39 (2007).

Gesellschaft für Informatik, Bonn


Witold Abramowicz (ed.), Leszek Maciaszek (ed.)

Copyright © Gesellschaft für Informatik, Bonn


Business process validation

Andreas Speck


Business processes and workflows are crucial elements in the design and development of commercial systems, such as enterprise resource planning (ERP) or e-commerce systems and many more. Despite their important role there are little means to ensure the correctness of these processes and workflows as well as consistency between them. In contrast to other verification problems the semantics of business processes to be checked are less explicit and formalised.

Full Text: PDF

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

Last changed 04.10.2013 18:15:32