Kevin Brightwell edited this page Aug 26, 2015 · 1 revision
Clone this wiki locally

Draft Manual Page - Trace Cases

This is one of a set of Draft manual pages

This will describe the syntax and semantics of MOTL trace cases.

Trace Cases


A trace case is a packaged set of trace directives that can be activated or de-activated based on conditions. These conditions might involve a state in a state machine (entry or exit), an attribute (matching an expression) or an association.

Trace cases can be useful to increase the level of tracing when certain conditions are present in the system (security threat, overload, unusual behaviour, etc.)


TBD - place here all relevant non-terminals each in double-square brackets.