A Static Business Level Verification Framework for Cross- Organizational Business Process Models using SWRL

Abstract

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.