Learning EFSM Models with Registers in Guards
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , , , , , |
|---|---|
| Format: | Preprint |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866910481182097408 |
|---|---|
| author | Vega, Germán Groz, Roland Oriat, Catherine Foster, Michael Walkinshaw, Neil Simão, Adenilso |
| author_facet | Vega, Germán Groz, Roland Oriat, Catherine Foster, Michael Walkinshaw, Neil Simão, Adenilso |
| contents | This paper presents an active inference method for Extended Finite State Machines, where inputs and outputs are parametrized, and transitions can be conditioned by guards involving input parameters and internal variables called registers. The method applies to (software) systems that cannot be reset, so it learns an EFSM model of the system on a single trace. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2406_07040 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Learning EFSM Models with Registers in Guards Vega, Germán Groz, Roland Oriat, Catherine Foster, Michael Walkinshaw, Neil Simão, Adenilso Formal Languages and Automata Theory This paper presents an active inference method for Extended Finite State Machines, where inputs and outputs are parametrized, and transitions can be conditioned by guards involving input parameters and internal variables called registers. The method applies to (software) systems that cannot be reset, so it learns an EFSM model of the system on a single trace. |
| title | Learning EFSM Models with Registers in Guards |
| topic | Formal Languages and Automata Theory |
| url | https://arxiv.org/abs/2406.07040 |