The behavioral modules are the heart of the code and implement the logic as described by the statecharts and mini-specs. The specification is partitioned into behavioral modules in the compilation profile. For each specified module, two files are generated based on the user-defined module name.
The following header file exports all the specification objects defined in the module (for use by other modules), and the module execution procedure.
The following module body defines all the local objects (events, conditions, data-items), and the procedures that implement the logic of the statecharts and mini-specs.