Skip to Main content Skip to Navigation
Conference papers

Reverse Engineering Models of Concurrent Communicating Systems From Event Logs

Abstract : This paper tackles the problem of recovering formal models of communicating systems made up of components concurrently interacting with each other, e.g., Web service compositions or IoT systems. We present a passive model learning approach, which recovers, from event logs, one Input Output Labelled Transition System (IOLTS) for every component of the system under learning. From an event log, our approach is able to automatically recover conversations (a.k.a. sessions), without having any knowledge about the used event correlation mechanisms. It uses correlation pattern definitions and a heuristic based on the quality of the generated conversations to get the most relevant conversation sets. Then, our approach extracts the trace sets of every component and generates IOLTSs. The latter can be used as documentation, for test case generation, or for formal verification.
Document type :
Conference papers
Complete list of metadata
Contributor : Sébastien Salva Connect in order to contact the contributor
Submitted on : Tuesday, November 23, 2021 - 5:10:54 PM
Last modification on : Thursday, November 25, 2021 - 3:45:28 AM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License


  • HAL Id : hal-03444549, version 1


Sébastien Salva. Reverse Engineering Models of Concurrent Communicating Systems From Event Logs. Sixteenth International Conference on Software Engineering Advances ICSEA 2021, Oct 2021, Barcelona, online, Spain. ⟨hal-03444549⟩



Record views


Files downloads