Gesellschaft für Informatik e.V.

Lecture Notes in Informatics

INFORMATIK 2007 Informatik trifft Logistik Band 1 Beiträge der 37. Jahrestagung der Gesellschaft für Informatik e.V. (GI) 24. - 27. September 2007 in Bremen P-109, 232-236 (2007).

Gesellschaft für Informatik, Bonn


Rainer Koschke (ed.), Otthein Herzog (ed.), Karl-Heinz Rödiger (ed.), Marc Ronthaler (ed.)

Copyright © Gesellschaft für Informatik, Bonn


A static business level verification framework for cross-organizational business process models using SWRL

K. Namiri , N. Stojanovic and M. -M. Kügler


In this paper we introduce a solution for the problem of the design-time verification of cross-organizational business processes. The configuration of the processes can be checked in order to examine whether it fulfills a certain set of business level requirements. A formal Ontology in OWL for these kinds of processes is provided, so logic mechanisms for the verification are applied. The business level requirements are expressed in SWRL. A demonstrable implementation integrated in an already existing business process modeling tool has been developed.

Full Text: PDF

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

Last changed 04.10.2013 18:14:29