Sp3llsWizard
Authors/Creators
- 1. Sapienza University of Rome
-
2.
Utrecht University
-
3.
Free University of Bozen-Bolzano
Description
Sp3llsWizard: From Sound Workflow Nets to LTLf Declarative Specifications by Casting Three Spells
This deposit contains the implementation and experimental toolbench presented in the paper “From Sound Workflow Nets to LTLf Declarative Specifications by Casting Three Spells". The work presents a systematic approach to synthesizing declarative process specifications from safe and sound Workflow Nets (WF nets), ensuring full behavioral preservation. Here you’ll find the complete toolchain and experimental setup, tested on both synthetic and real-world datasets, used to analyze the correctness and performance of the implemented algorithm.
Overview
Sp3llsWizard has the ability to formally synthesize DECLARE specifications from safe and sound Workflow Nets. This proof-of-concept implementation automatically generates LTLf constraints from an input WF net provided as a .pnml file.
Files
l2brb/Sp3llsWizard-v1.0.0.zip
Files
(194.6 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:d083d89102f1bee9054447dfa54ddfb3
|
194.6 MB | Preview Download |
Additional details
Related works
- Is supplement to
- Software: https://github.com/l2brb/Sp3llsWizard/tree/v1.0.0 (URL)
Software
- Repository URL
- https://github.com/l2brb/Sp3llsWizard
- Programming language
- Python