GitLab

• 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> }}
            }
        }
    }
}