Logo des Repositoriums
 
Konferenzbeitrag

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

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2007

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik e. V.

Zusammenfassung

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.

Beschreibung

Namiri, Kioumars; Kügler, Mani-Maurice; Stojanovic, Nenad (2007): A Static Business Level Verification Framework for Cross- Organizational Business Process Models using SWRL. Informatik 2007 – Informatik trifft Logistik – Band 1. Bonn: Gesellschaft für Informatik e. V.. PISSN: 1617-5468. ISBN: 978-3-88579-206-1. pp. 232-236. Regular Research Papers. Bremen. 24.-27. September 2007

Schlagwörter

Zitierform

DOI

Tags