Model generation of component-based systems - Université Clermont Auvergne Access content directly
Journal Articles Software Quality Journal Year : 2020

Model generation of component-based systems

Abstract

This paper presents COnfECt, a model learning approach, which aims at recovering the functioning of a component-based system from its execution traces. We refer here to non concurrent systems whose internal interactions among components are not observable from the environment. COnfECt is specialised into the detection of components of a black-box system and in the inference of models called systems of labelled transition systems (LTS). COnfECt tries to detect components and their specific behaviours in traces, then it generates LTS for every component discovered, which captures its behaviours. Besides, it synchronises the LTSs together to express the functioning of the whole system. COnfECt relies on machine learning techniques to build models: it uses the notion of correlation among actions in traces to detect component behaviours and exploits a clustering technique to merge similar LTSs and synchronise them. We describe the three steps of COnfECt and the related algorithms in this paper. Then, we present some preliminary experimentations.
Fichier principal
Vignette du fichier
dblp-journalssqj-salva-b-20.pdf (753.59 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-02458451 , version 1 (08-09-2021)

Licence

Attribution

Identifiers

Cite

Sébastien Salva, Elliott Blot. Model generation of component-based systems. Software Quality Journal, 2020, 28 (2), pp.789--819. ⟨10.1007/s11219-019-09485-y⟩. ⟨hal-02458451⟩
102 View
69 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More