Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Casaluce, Roberto"'
Autor:
Casaluce, Roberto, Burattin, Andrea, Chiaromonte, Francesca, Lafuente, Alberto Lluch, Vandin, Andrea
We propose a novel methodology for validating software product line (PL) models by integrating Statistical Model Checking (SMC) with Process Mining (PM). Our approach focuses on the feature-oriented language QFLan in the PL engineering domain, allowi
Externí odkaz:
http://arxiv.org/abs/2401.13019
Publikováno v:
Casaluce, R, Burattin, A, Chiaromonte, F & Vandin, A 2023, Process Mining meets Statistical Model Checking: Towards a Novel Approach to Model Validation and Enhancement . in Business Process Management Workshops . Springer, Lecture Notes in Business Information Processing, vol. 460, pp. 243–256, 20th International Conference of Business Process Management, Münster, North Rhine-Westphalia, Germany, 11/09/2022 . https://doi.org/10.1007/978-3-031-25383-6_18
We propose a novel research line integrating Statistical Model Checking (SMC), a family of simulation-based analysis techniques from quantitative formal methods, with Process Mining (PM), a collection of data-driven process-oriented techniques. SMC a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1202::14f45e3d8e69bef4b80921bfc6a47e2f
https://orbit.dtu.dk/en/publications/9fe64ff0-41c5-49d1-8ee6-b557d63e89fc
https://orbit.dtu.dk/en/publications/9fe64ff0-41c5-49d1-8ee6-b557d63e89fc
We propose a novel research line integrating Statistical Model Checking (SMC), a family of simulation-based analysis techniques from quantitative formal methods, with Process Mining (PM), a collection of data-driven process-oriented techniques. SMC a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3effa7606cc7dc43bef11fbfbc70b777