A Term-based Approach for Generating Finite Automata from Interaction Diagrams
Abstract
Non-deterministic Finite Automata (NFA) represent regular languages concisely, increasing their appeal for applications such as word recognition. This paper proposes a new approach to generate NFA from an interaction language such as UML Sequence Diagrams or Message Sequence Charts. Via an operational semantics, we generate a NFA from a set of interactions reachable using the associated execution relation. In addition, by applying simplifications on reachable interactions to merge them, it is possible to obtain reduced NFA without relying on costly NFA reduction techniques. Experimental results regarding NFA generation and their application in trace analysis are also presented.
Cite
@article{arxiv.2306.02983,
title = {A Term-based Approach for Generating Finite Automata from Interaction Diagrams},
author = {Erwan Mahe and Boutheina Bannour and Christophe Gaston and Arnault Lapitre and Pascale Le Gall},
journal= {arXiv preprint arXiv:2306.02983},
year = {2023}
}
Comments
29 pages (15 pages paper, 3 pages references, 11 pages appendix) 9 figures in paper, 14 figures in appendix