RSML definition
Examples of RSML in a sentence
During specification the requirements stated in the problem frame diagrams were modelled using RSML, a notation for state machines.
The specification approach we used has been inspired by the spec- ification languages RSML [LHHR94] and SCR [HPSK78, Hen80, HBGL98] which are dedicated languages for the specification of reactive process control systems, i.e., embedded systems.
RSML [LHHR94] uses AND/OR tables for the specification of transition conditions.
The specification language RSML provides concepts for the description of the static structure of the controller and concepts for the description of its dynamic behaviour.
Since we have made similar experiences with complicated conditions and actions in our case studies we decided to use the RSML approach with AND/OR tables for the specification of transition conditions for the SSE.
For the specification of the SSE we used state machines in a similar way but in a simpler form than defined by the RSML specifica- tion language [LHHR94].
One possibibility to specify these conditions is to simply use a propo- sitional logic notation with and (e.g. ((x > 0) (y < 1))) However, the inventors of RSML discovered that the conditions for specifying the re- lationship between inputs and outputs are often complex not in the logi- cal operators used but in the number of different conditions.
With RSML finite state machines can now be specified in an explicit formalism before being translated in Event-B.
In the enhanced deployment we changed our development process by in- troducing a dedicated specification document written in a tailored version of RSML.
However, some of the concepts have been used in different ways than suggested in the original RSML approach or have been simplified to increase the understandability of the specification and make the process of writing it easier.