Download

Declare is distributed under the GNU General Public License (GPL).

[System] [Service] [ProM Package] [Miner] [Monitor] [Source]

Declare System (2.1.0)

The Declare System in the main component of Declare. This version requires Java 6 or newer, and is compatible with ProM 6.1 for operational support.

The Declare System comprises the Designer, the Framework, and the Worklist. The Designer is used to create Declare processes manually, the Framework works as the backend server for executing Declare processes, and the Worklist is the user client connecting to the Framework.

Declare Service

The Declare Service is used for connecting Declare to YAWL.

The Declare Service is temporarily discontinued as it broke with YAWL 2.1. If you want, you can look at an archived version of the Declare System and Declare Service, which works with YAWL 2.0. See the page on archived downloads for details.

We are working on a more generic solution for embedding workflow systems into eash other, allowing embedding Declare in and embedding models from any workflow engine supporting the generic interface.

Declare ProM Package

Provides ability to load Declare models in ProM for further analysis. This is part of ProM 6.1 and can be downloaded and updated using the ProM package manager.

Declare Miner

The Declare Miner can be used to discover Declare models from event logs. The Declare Miner, being based on a declarative approach, represents a good solution to be applied on logs that produce “spaghetti-like” models with traditional process discovery techniques. The discovery of Declare models allows users to obtain a representation of the process behaviour as a compact set of rules. The Declare Miner is part of ProM 6.1 and can be downloaded and updated using the ProM package manager.

Mobucon LTL

Mobucon is a framework based on operational support that can be used to monitor a running case w.r.t. a Declare Model. The framework is composed of two parts: the Mobucon LTL provider and the Mobucon Client. Mobucon LTL is an operational support provider compatible with the Operational Support Service 2.0 in ProM 6.1. It is part of ProM 6.1 and can be downloaded and updated using the ProM package manager. Mobucon LTL implements the LTL reasoner used to monitor a set of Declare constraints. The results of the provider can be visualised through the Mobucon Client.

Source

We do not provide source releases, but instead provide open access to our development repositories. Simply find the repository, you are interested in below:

Module Location
Declare System https://svn.win.tue.nl/repos/prom/Declare/Prototype/trunk/
Declare Service https://svn.win.tue.nl/repos/prom/Service/Prototype/trunk/
Declare ProM Package https://svn.win.tue.nl/repos/prom/Packages/Declare/Trunk/
Declare Miner https://svn.win.tue.nl/repos/prom/Packages/DeclareMiner/Trunk/
Declare Monitor https://svn.win.tue.nl/repos/prom/Packages/MoBuConLTL/Trunk/
Mobucon Client https://svn.win.tue.nl/repos/prom/MoBuConClient