Task: B.2
Task Leader: INRIA
Participants: INRIA 4 mm
From: T0+6 To: T0+12
Input from: A.1, A.2, B.1
Output to: D.3
Deliverable: INRIA-2 (Software): Front end part of the
compiler
Due at: T0+12
Milestones: Final version to be available at T0+12
Description:
Once the formal description language has been defined, we will have to define
a compiler for this language. It is anticipated that this compiler will
include a "front-end" part, that deal with parsing the language, and a
"back-end" part, that performs the actual code production.
The purpose of this task is to develop the "front-end" part of the compiler. The front-end part will include an "analysis" part to transform the external protocol specification into a "labeled automaton", where each node is associated with a protocol action. It will also include the "optimization" parts to analyze and simplify the protocol and reduce it into elementary actions handled by the "integrated layer processing".