Declare demo : a constraint-based workflow management system

M. Pesic, M.H. Schonenberg, W.M.P. Aalst, van der

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

3 Citations (Scopus)


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.
Original languageEnglish
Title of host publicationProceedings of the BPM2009 Demonstration Track (BPMDemos 2009, Ulm, Germany, September 7, 2009)
EditorsA.K. Alves de Medeiros, B. Weber
Place of PublicationAachen
Publication statusPublished - 2009

Publication series

NameCEUR Workshop Proceedings
ISSN (Print)1613-0073


Dive into the research topics of 'Declare demo : a constraint-based workflow management system'. Together they form a unique fingerprint.

Cite this