Declare is distributed under the GNU General Public License (GPL).
[System] [Service] [ProM Package] [Miner] [Monitor] [Source]
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.
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.
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.
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 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.
We do not provide source releases, but instead provide open access to our development repositories. Simply find the repository, you are interested in below:
Connect with us on the following social media platforms.