FACT: A Tool for Code Generation from Communicating Automata

C. Bernardeschi, G. Dini, and A. Domenici (Italy)


Software Tools, Formal specification, Automated codegeneration.


FACT (Finite Automaton Compilation Tool) is a tool for the generation of skeletal Java code from a graphical spec ification of a concurrent system given in terms of networks of communicating automata. The code implements the dy namic behavior of the set of concurrent automata, abstract ing from data computation, and satisfies the constraints im posed by the specification. Moreover, global properties of the concurrent behavior of the system that are proved at the specification level are preserved by the implementation.

Important Links:

Go Back