Declare

Declare Models in CPN Tools

As we’ve already mentioned, Declare will cease to exist as we know it now, but continue living on inside CPN Tools, providing a much more user-friendly and interactive interface as well as ability to mix the declarative paradigm with more direct modeling using Petri nets, and a vastly improved data perspective. Here is a demo […]

Declare

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 […]

News

Declare on Windows 8

Good news everyone! Declare runs with no problems on Windows 8. At least on the Consumer Preview. This holds true for both the 32 bit version and the 64 bit version. See the original post and more pictures at http://westergaard.eu/2012/03/cpn-toolsdeclareprom-on-windows-8-cp/.

By Michael March 14, 2012 0 Comments Read More →

Declare Renaming

In some older papers, the Declare tool has been referred to as DECLARE and the language as ConDec. Starting from version 2.4 (due before the end of the year), the name changes to “Declare” (without quotes, of course), i.e., using normal lowercase. The reason is that Declare is not an abbreviation and all-uppercase words are […]

By Michael November 9, 2011 1 Comments Read More →

Declare Demo

To celebrate the release of Declare 2.1, we have published an online demo showing off the features of Declare. The demo is available on the front page or below. We will also give a demo of Declare at BPM 2011, so be sure to meet us there!

By Michael August 26, 2011 0 Comments Read More →

Featured Videos

Declare Models in CPN Tools

As we’ve already mentioned, Declare will cease to exist as we know it now, but continue living on inside CPN Tools, providing a much more user-friendly and interactive interface as well as ability to mix the declarative paradigm with more direct modeling using Petri nets, and a vastly improved data perspective. Here is a demo […]

By Michael November 23, 2012 0 Comments Read More →

Declare Demo

To celebrate the release of Declare 2.1, we have published an online demo showing off the features of Declare. The demo is available on the front page or below. We will also give a demo of Declare at BPM 2011, so be sure to meet us there!

By Michael August 26, 2011 0 Comments Read More →

Merging Declare and CPN Tools

As you may or may not know, I’m maintaining both Declare and CPN Tools. I would like to make some improvements to Declare, and instead of struggling with the Declare Editor, which is a bit annoying to work with for many tasks, I decided to instead integrate Declare functionality into CPN Tools. This means that […]

By Michael August 14, 2012 1 Comments Read More →

Data and Resources

In the next version of Declare, data and resources will have a much more prominent role. Currently, both are hidden away in other tabs and the relationship between the control-flow, data, and resource perspectives nearly invisible. In the next version, data will be represented as ovals or circles (inspired by places from Petri nets) and […]

By Michael December 20, 2011 0 Comments Read More →