CkTail: Model Learning of Communicating Systems - Université Clermont Auvergne Access content directly
Conference Papers Year :

CkTail: Model Learning of Communicating Systems


Event logs are helpful to figure out what is happening in a system or to diagnose the causes that led to an unexpected crash or security issue. Unfortunately, their growing sizes and lacks of abstraction make them difficult to interpret, especially when a system integrates several communicating components. This paper proposes to learn models of communicating systems, e.g., Web service compositions, distributed applications, or IoT systems, from their event logs in order to help engineers understand how they are functioning and diagnose them. Our approach, called CkTail, generates one Input Output Labelled Transition System (IOLTS) for every component participating in the communications and dependency graphs illustrating another viewpoint of the system architecture. Compared to other model learning approaches, CkTail improves the precision of the generated models by better recognising sessions in event logs. Experimental results obtained from 9 case studies show the effectiveness of CkTail to recover accurate and general models along with component dependency graphs.
Fichier principal
Vignette du fichier
papierV2.pdf (458.47 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-02884776 , version 1 (30-06-2020)


Attribution - NonCommercial - NoDerivatives



Sébastien Salva, Elliott Blot. CkTail: Model Learning of Communicating Systems. 15th International Conference on Evaluation of Novel Approaches to Software Engineering, May 2020, Prague, France. pp.27-38, ⟨10.5220/0009327400270038⟩. ⟨hal-02884776⟩
72 View
114 Download



Gmail Facebook Twitter LinkedIn More