Home

Welcome to the ocean-lib wiki!

This wiki documents the experimental evaluation of ocean-lib, the reference implementation of the OCEAN query language for OCED aggregation.

Wiki Structure:

• ⚙️ How To Use ocean-lib: a guide on how to use ocean-lib to define and execute aggregation queries over an EKG.
• 🧪 Running Example Evaluation: A small, illustrative scenario used to explain and validate the aggregation language and its execution, while comparing it with a classical aggregation approach.
• ❓Questions-based Evaluation: shows the effectiveness of OCEAN by answering soccer-based analytical questions.
• 📊 Datasets Evaluation Evaluations on real-world and synthetic logs, including Soccer, OCEL and BPIC17 datasets.

---

Running Example Evaluation

This section provides:

This section presents a the evaluation for a running scenario designed to:

• Illustrate how aggregation queries are expressed using ocean-lib
• Show the execution of each aggregation step on a soccer match example
• Compare the results with respect to a classical aggregation approach
• Report execution times and performance metrics for each step

📃 see Running Example Evaluation

---

Datasets Evaluation

This section reports the evaluation on synthetic and real-world datasets, including:

• Soccer event logs
• OCEL 2.0 datasets (i.e., Order Management, Procure-to-Pay, Logistics)
• BPI Challenge 2017 (BPIC17)

For each dataset, the wiki provides:

• The sequence of aggregation steps executed and their rationale
• Report execution times and performance metrics for each step

📃 see Datasets Evaluation