SynchronousTransition denotes a specialization of discrete transitions (Transition) of which the firing can be synchronized by explicit rendezvous events. <br/><br/>Constraints:<br/>[1] For behavior constraint descriptions that target application software functions, SynchronousTransition should not be applied.<br/><br/>Semantics:<br/>When all the given guard conditions are met, a transition will be fired to respond to the occurrence of an event (which is indicated by the role readEventOccurrences?) or to signal the occurrence of an event (which is indicated by the role writeEventOccurrance!). A transition, when fired, will lead to the exit of the associated "from" state and an entrance to the associated "to" state, while invoking one or more logical transformations (TransformationOccurrance!) as the effects of the transition.<br/>
