By July 13, 2011 2 Comments Read More →


Declare is a prototype of a workflow management system. The novelty in Declare is a declarative approach to business process modeling and execution. Unlike conventional systems, which use graph-like modeling languages (e.g., Petri-nets), Declare uses logic to model and execute business processes. Currently, Linear Temporal Logic (LTL) is the language used to develop process models in Declare.

Posted in: Site, Videos

2 Comments on "Declare"

Trackback | Comments RSS Feed

  1. Shawn says:

    Dear Sir,

    I’m eager to construct my own declarative workflow system by using parts of “Declare” system, e.g. LTL parser or checker (if any). So, I’m curious why “Declare” cannot release its source, or even better, make it self like “YAWL” whereby I could build my own declarative workflow system (when I say use it to build my own workflow system, I don’t want to simply use “Declare” per se, rather, I want to do hard coding by invoking related APIs …)

    • Michael says:

      The source is available from the Download page, so I don’t know what more you are looking for…

      Declare is currently being redesigned and integrated into CPN Tools. This means you can extend the tool (see, e.g., We are never going to become like YAWL. YAWL is overly complex, and in my view requiring a web application container just to do experiments is not a viable way to go for research. It may be necessary for real deployment, but we are doing experiments and need something that allows to quickly prototype idea, and the simpler solution here is that.

Post a Reply to Michael