src/samples/3rdparty/criticalregion.xu
# 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)"];
};
};
}