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

Kioumars Namiri, M.-M. Kgler, Nenad Stojanovic

Browse the full GI paper archive.