Initial transition point cannot be used as transition target
- 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> }}
}
}
}
}