Mini-Spec Implementation

Mini-Spec Implementation

 

The implementation of an Activity can be defined using the Rational Statemate Action Language. This definition is called a mini-spec. The mini-spec definition of an Activity’s behavior is entered into the Data Dictionary. The mini-spec is then activated when the associated Activity is active and stops when the associated Activity stops.

As mentioned, the mini-spec is defined in the Data Dictionary Editor. The syntax is similar to that used to describe static reactions, i.e. a list of reactions of the form trigger/action, separated by a double semicolon (;;).

States that have mini-specs are distinguished by a ‘>’ symbol after their chart name (e.g. ALARM>).

Two modes are supported in MicroC: Reactive (either Self or Controlled) and Procedural. For both modes, the generated code is a relatively straight-forward implementation of the Mini- Spec itself. The basic code structure might be seen in the examples below.