sverweij/mscgen_js

View on GitHub
src/samples/3rdparty/criticalregion.xu

Summary

Maintainability
Test Coverage
# Critical region
# Source: Figure 14.9 
# from the UML Superstructure Specification, v2.4.1

msc {
  Emergency,
  Operator,
  Caller,
  Callee;

  Emergency par Callee {
    Caller =>> Operator [label="call(100)"];
    Operator =>> Callee [label="call(100)"];
    ---;
    Caller =>> Operator [label="call(101)"];
    Operator =>> Callee [label="call(101)"];
    ---;
    Emergency critical Operator {
      Caller =>> Operator [label="call(911)"];
      Operator =>> Emergency [label="call(911)"];
    };
  };
}