LTL-Erfüllbarkeitsprüfung für inkrementelle Entwicklung von Geschäftsprozessen

Alexej Burkow
Heutige Unternehmen stehen einer immer größer werdenden Menge an internen und externen Regelwerken, den Compliance-Regeln, gegenüber. Ihre Konsistenz muss bei der Entwicklung von organisationsübergreifenden Geschäftsprozessen sichergestellt werden. Die vorliegende Arbeit beschäftigt sich mit der automatischen Durchsetzung von Compliance in Geschäftsprozessmodellen. In einer vorhergehenden Arbeit wurde der webbasierte BPMN-Editor Oryx um die Überprüfung der Einhaltung von Compliance-Regeln in Prozessmodellen mittels Model-Checking erweitert. Die Prozessmodelle werden in sogenannte Compliance-Scopes aufgeteilt, die mit Compliance-Regeln in der linearen temporalen...
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.