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.
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/.
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 resources as triangles. Flow of data will be visible explicitly in the model.
In the future, also resource requirements and more advanced data patterns will be visible in models and can be checked and enforced.