Modellierung regelkonformer Prozesse mit Compliance Scopes

Unternehmen stehen immer groseren Herausforderungen gegenuber, wie z.B. internationaler Konkurrenz durch die Globalisierung und immer kurzere Produktlebenszyklen. Einen Wettbewerbsvorteil gegenuber der Konkurrenz konnen sich die Unternehmen erarbeiten, die schnell und flexibel auf Marktveranderungen reagieren konnen. Ein gutes und effizientes Geschaftsprozessmanagement ist ein geeignetes Mittel fur Unternehmen, sich diesen wachsenden Herausforderungen zu stellen. Daher gibt es auch immer mehr Tools, mit dem sich Geschaftsprozesse erstellen und andern lassen, um auf diese Weise die Unternehmen beim Geschaftsprozessmanagement zu unterstutzen. In der vorliegenden Arbeit werden Moglichkeiten erarbeitet, um Geschaftsprozesse mit Regeln zu erweitern, die die Arbeit mit Geschaftsprozessen unterstutzen. Diese Regeln werden in einer temporalen Logik formuliert und sollen von einem Model Checker uberpruft werden konnen, daher wird in dieser Arbeit auch auf temporale Logiken und Model Checker eingegangen.