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

Namiri, KioumarsKügler, Mani-MauriceStojanovic, NenadKoschke, RainerHerzog, OttheinRödiger, Karl-HeinzRonthaler, Marc2019-05-152019-05-152007978-3-88579-206-1https://dl.gi.de/handle/20.500.12116/22587In 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.enA Static Business Level Verification Framework for Cross- Organizational Business Process Models using SWRLText/Conference Paper1617-5468