RuM
What it is
RuM is a free, open-source desktop application for declarative process mining on Linux, macOS, and Windows. It combines tools for discovering, checking, editing, generating, monitoring, and filtering event processes, and is intended for beginners as well as experienced users. Process discovery uses Declare Miner and MINERful, with results available as Declare diagrams, constraint descriptions, or automata. Conformance checking uses Declare Analyzer and Declare Replayer, with exploration by trace or constraint. The model editor supports Declare constraints with data and time conditions in MP-Declare. Declo accepts natural-language text and speech recognition for defining constraints. RuM can generate XES logs, monitor MP-Declare constraints with Alloy, MobuconLTL, and MobuconLDL, and show whether each constraint is satisfied or violated after events. Filtering includes 17 basic types and 64 predefined LTL patterns through LTL Checker. It runs as a JAR without installation, requires Java 11 JDK and a 1280×720 minimum display, and is self-hosted.
For and against
For
- Free and open source under GNU GPLv3
- Supports Linux, macOS, and Windows
- Offers discovery, conformance, monitoring, and filtering
- Generates logs in XES format
- Natural-language and speech constraint entry via Declo
Against
- Requires Java 11 JDK
- Minimum screen resolution is 1280×720
- Some functions need folder write access
- Declo requires extra configuration
The verdict
RuM brings many Declare-based process-mining tasks into one self-hosted desktop application. Its broad tooling suits users who need discovery, checking, modeling, logs, monitoring, and filtering in one environment.
Who it suits
RuM suits users exploring declarative process mining, including people without prior Declare experience. It fits teams able to run a self-hosted Java application on Linux, macOS, or Windows.
On the record
- Audience
- The site describes RuM as suitable for both novices and experts and identifies research use with a citation recommendation.rulemining.org · read 10 Oct 2026
- Conformance checking
- Conformance checking supports Declare Analyzer and Declare Replayer and can be explored by trace or constraint.rulemining.org · read 10 Oct 2026
- Declo
- Declo supports defining constraints with natural language text and speech recognition.rulemining.org · read 10 Oct 2026
- Download
- The download link directs users to the RuM_public share on the University of Tartu Nextcloud.owncloud.ut.ee · read 4 Oct 2026
- Latest release
- The project page identifies version 0.7.2, released 08.11.2023, as the latest version.rulemining.org · read 10 Oct 2026
- License
- RuM is licensed under GNU GPLv3 and its source code is linked from the project site.rulemining.org · read 10 Oct 2026
- Log filtering
- RuM provides 17 basic filters and advanced filtering through 64 predefined LTL patterns.rulemining.org · read 10 Oct 2026
- Log generation
- Log generation supports Alloy Log Generator and MINERful Log Generator and produces logs in XES format.rulemining.org · read 10 Oct 2026
- Model editor
- The editor defines Declare constraints, including data and time conditions in MP-Declare.rulemining.org · read 10 Oct 2026
- Monitoring
- Monitoring supports MP-Declare with Alloy, MobuconLTL, and MobuconLDL, showing constraint satisfaction or violation as events replay.rulemining.org · read 10 Oct 2026
- Process discovery
- Process discovery supports Declare Miner and MINERful, with results shown as Declare diagrams, text constraints, or automata.rulemining.org · read 10 Oct 2026
- Product
- RuM is a desktop application that combines declarative process mining tools and is described as usable by novices and experts without prior Declare experience.rulemining.org · read 10 Oct 2026
- Release
- The site lists version 0.7.2 as the latest release, dated 08.11.2023.rulemining.org · read 4 Oct 2026
- Requirements
- RuM requires Java 11 JDK and a minimum screen resolution of 1280×720; some functions may require write access to its running folder.rulemining.org · read 4 Oct 2026
- Runtime
- RuM is distributed as a JAR with no installation required and requires Java 11 JDK.rulemining.org · read 10 Oct 2026
- Usage limits
- Some functionality may require write access to the folder where RuM runs, and Declo requires extra configuration.rulemining.org · read 10 Oct 2026
