Notice: Function _load_textdomain_just_in_time was called incorrectly. Translation loading for the popup-by-supsystic domain was triggered too early. This is usually an indicator for some code in the plugin or theme running too early. Translations should be loaded at the init action or later. Please see Debugging in WordPress for more information. (This message was added in version 6.7.0.) in /dati/html/wordpress/pros/wp-includes/functions.php on line 6121
The Object-Centric Compliance Checking tool – PROS

Monitoring & Controlling / Tool · December 5, 2024

The Object-Centric Compliance Checking tool

The Object-Centric Compliance Checking tool (The O.(C.)3) is a web application for the definition of object-centric compliance rules (OCCR), and the application of such rules against an object-centric events log.
The graphical interface supports the user to load an object-centric event log in JSON format and create an OCCR to produce the matching and non-matching event sets.

Source code
Technical Report

Getting Started

Installation with Docker

Prerequisites

  • Docker installed on your system.

Commands

1 . Build the Docker image:

docker build -t theoc .

2. Run the Docker container:

docker run -p 8000:8000 theoc

3. Open the local application instance at: http://0.0.0.0:8000/

Manual Installation

Prerequisites

  • Node.js
  • Python

Commands

Frontend stage:

1 . Install all Node.js required packages:

./frontend npm i

2. Start the frontend:

./frontend npm run dev

Backend stage:

1. Install all Python requirements:

./backend pip install -r requirements.txt

2. Run the Pyhton backend via Uvicorn:

./backend uvicorn app:app --reload

3. Open the local application instance at: http://localhost:5173/

Usage

1. First, the user must upload an Object-Centric Events Log or use a sample log from those available in the list

    2. Then the user can define the OCCR by specifying its elements through the user interface

    • The first Event Pattern can be defined by choosing the event type, the eventual event’s attribute constraints, the number, and the qualifier of the event-to-object relation, the object type, and finally, the eventual object’s attribute constraints
    • The object-centric Flow Pattern (FP) is defined with the FP name. Only for binaries FPs, the user must define also the Temporal Constraint and the Event Linkage, i.e., a list of object-to-object relations.
    • The second Event Pattern must be defined when a binary FP is chosen

    3. By clicking the “Apply” button, the OCCR will be applied to the object-centric events log, and a preview of the matching and non-matching sets will be shown for a first inspection. The user can download the sets by clicking the “Download full JSON” link