Sciweavers

Share
BPM
2009
Springer

DECLARE Demo: A Constraint-based Workflow Management System

12 years 21 days ago
DECLARE Demo: A Constraint-based Workflow Management System
Abstract. 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.
Maja Pesic, Helen Schonenberg, Wil M. P. van der A
Added 08 Nov 2010
Updated 08 Nov 2010
Type Conference
Year 2009
Where BPM
Authors Maja Pesic, Helen Schonenberg, Wil M. P. van der Aalst
Comments (0)
books