Data in MSC-2000: Guards II

• Guards control the innermost operand of the MSC expression

  • the innermost operand (the guarded scope) may be
    • one operand of an inline expression (typically an alt operand)
    • the continuation of an HMSC
    • the whole MSC diagram
  • when the guard is False this means that
    • the guarded scope cannot occur in a legal trace

Previous slide

Next slide

Back to first slide

View graphic version