loading
Papers Papers/2022 Papers Papers/2022

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Antonella Santone 1 and Gigliola Vaglini 2

Affiliations: 1 University of Sannio, Italy ; 2 University of Pisa, Italy

Keyword(s): Model Discovery, Process Mining, Model Checking, Conformance Checking.

Related Ontology Subjects/Areas/Topics: Formal Methods ; Simulation and Modeling ; Software Engineering ; Software Engineering Methods and Techniques

Abstract: Conformance checking is an important process mining task; it aims to detect inconsistencies between the model of a process and its corresponding execution log. This paper proposes an approach in which it is given a declarative description, represented by a set of temporal logic properties, for the process model; the process discovered from the log is described by means of a process algebra, and conformance checking is performed through the model checking of the discovered process against the properties. To discover the process we consider additional information contained in the log and associated with the single events. Moreover, since discovered processes tend, in general, to be very large and complex, we look for a reduced process containing only the parts relevant for the properties satisfaction. In this way we reduce both the space needed for the discovered process and the time complexity for the properties verification.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 44.211.35.130

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Santone, A. and Vaglini, G. (2016). Conformance Checking using Formal Methods. In Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - ICSOFT-EA; ISBN 978-989-758-194-6, SciTePress, pages 258-263. DOI: 10.5220/0005993402580263

@conference{icsoft-ea16,
author={Antonella Santone. and Gigliola Vaglini.},
title={Conformance Checking using Formal Methods},
booktitle={Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - ICSOFT-EA},
year={2016},
pages={258-263},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005993402580263},
isbn={978-989-758-194-6},
}

TY - CONF

JO - Proceedings of the 11th International Joint Conference on Software Technologies (ICSOFT 2016) - ICSOFT-EA
TI - Conformance Checking using Formal Methods
SN - 978-989-758-194-6
AU - Santone, A.
AU - Vaglini, G.
PY - 2016
SP - 258
EP - 263
DO - 10.5220/0005993402580263
PB - SciTePress