DECLARE Demo: A Constraint-based Workflow Management System

Business Process Management Demonstration Track

Maja Pesic ; Helen M. Schonenberg ; Wil van der Aalst

Others  :  http://CEUR-WS.org/Vol-489/paper1.pdf
PID  :  11556

来源: CEUR

【 摘 要 】

Mainstream workflow management systems are using procedural languages ranging from BPMN and EPCs to BPEL and YAWL. By demonstrating DECLARE, we will show that it is also possible to use a fundamentally different approach based on constraints. DECLARE allows for multiple constraint-based languages whose semantics are grounded in Linear Temporal Logic (LTL). The DECLARE system provides a broad range of functionalities ranging from design, enactment and dynamic change to verification, discovery and recommendation. This demo presents the main functionalities of DECLARE and is intended for both researchers and practitioners interested in innovative BPM solutions for processes that require flexibility.