TransitionPoints can be connected outside of the subgraph in the textual model, causing behavior diagram to be unopenable
- this looks like it should be invalid according to ROOM spec
- generated transition behaves like a group transition
Example:
RoomModel m {
ProtocolClass p {
incoming {
Message msg
}
}
ActorClass a {
Structure {
Port p: pc
}
Behavior {
StateMachine {
State s1 {
subgraph {
State s11
Transition init: initial -> s11
TransitionPoint trp
}
}
State s2
Transition init: initial -> s1
Transition t: trp of s1 -> s2 {triggers { <msg: p> }}
}
}
}
}