Name: Formal Description Languages
WP Leader: INRIA
Participants: INRIA 6 mm
This workpackage aims at defining a formal language for
expressing application requirements with respect to the ALF and ILP
concepts, as well as bridging the gap between the language formal definition
and the execution environment. For that reason, and after the complete
formal definition of the selected language, the workpackage will
address the translation of a formal specification into a labeled automaton
(compiler front-end) and study the derivation of test suites from a
labeled automaton. We identify 2 tasks within this workpackage: