COnfECt: An Approach to Learn Models of Component-based Systems

Abstract : This paper addresses the problem of learning models of component-based systems. We focus on model learning approaches that generate state diagram models of software or systems. We present COnfECt, a method that supplements passive model learning approaches to generate models of component-based systems seen as black-boxes. We define the behaviours of components that call each other with Callable Extended FSMs (CEFSM). COnfECt tries to detect component behaviours from execution traces and generates systems of CEFSMs. To reach that purpose, COnfECt is based on the notions of trace analysis, event correlation, model similarity and data clustering. We describe the two main steps of COnfECt in the paper and show an example of integration with the passive model learning approach Gk-tail.
Document type :
Conference papers
Complete list of metadatas

Cited literature [15 references]  Display  Hide  Download

https://hal.uca.fr/hal-01803923
Contributor : Sébastien Salva <>
Submitted on : Thursday, May 31, 2018 - 10:16:47 AM
Last modification on : Monday, January 20, 2020 - 12:14:05 PM
Long-term archiving on: Saturday, September 1, 2018 - 12:45:31 PM

File

document8p.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01803923, version 1

Collections

Citation

Sébastien Salva, Elliott Blot. COnfECt: An Approach to Learn Models of Component-based Systems. Proceedings of the 13th International Conference on Software Technologies, ICSOFT, Jul 2018, porto, Portugal. ⟨hal-01803923⟩

Share

Metrics

Record views

95

Files downloads

148