PALM: A Technique for Process ALgebraic Specification Mining

DOI10.1007/978-3-030-63461-2_22MaRDI QIDQ6487936zbMATH OpenFDO

Authors Rocco De Nicola, Barbara Re, Francesco Tiezzi

Publication date 21 March 2023

Full work available at URL https://doi.org/10.1007/978-3-030-63461-2_22

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Discovering block-structured process models from event logs -- a constructive approach
• Formal specification generation from requirement documents
• Temporal logic specification mining of programs
• Discovering Petri nets from event logs
• Process model discovery: a method based on transition system decomposition

This page was built for publication: PALM: A Technique for Process ALgebraic Specification Mining

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6487936)