GitLab

• one use case is reset/reinit mechanism
• (example 8.19 in ROOM book)

Example:

RoomModel m {
    ProtocolClass p {
        incoming {
            Message msg
        }
    }
    
    ActorClass a {
        Structure {
            Port pt: p
        }
        Behavior {
            StateMachine {
                State s1
                Transition init: initial -> s1
                Transition reset: s1 -> initial {triggers { <msg: p> }}
            }
        }
    }
}