论文信息 - Learning DecSerFlow Models from Labelled Traces - 字舞流文

Learning DecSerFlow Models from Labelled Traces

We present the system DecMiner that induces DecSerFlow models from positive and negative traces. The approach we follow consists in first inducing SCIFF constraints and then converting them into DecSerFlow ones.

Paola Mello | Marco Montali | Evelina Lamma | S. Storari | F. Riguzzi

[1] Wil M. P. van der Aalst,et al. DecSerFlow: Towards a Truly Declarative Service Flow Language , 2006, WS-FM.

[2] Paola Mello,et al. Towards a DecSerFlow Declarative Semantics based on Computational Logic , 2007 .

[3] Luc De Raedt,et al. Inductive Constraint Logic , 1995, ALT.

[4] Boudewijn F. van Dongen,et al. Discovering Workflow Performance Models from Timed Logs , 2002, EDCIS.

[5] Evelina Lamma,et al. Applying Inductive Logic Programming to Process Mining , 2007, ILP.

[6] Evelina Lamma,et al. Verifiable agent interaction in abductive logic programming: The SCIFF framework , 2008, TOCL.

[7] Evelina Lamma,et al. Inducing Declarative Logic-Based Models from Labeled Traces , 2007, BPM.