complexType "uml:ProtocolTransition"
Namespace: |
|
Content: |
|
Defined: |
|
Includes: |
|
Used: |
|
Content Model Diagram
XML Representation Summary |
| <... |
| |
|
= |
xsd:ID |
|
= |
xsd:string |
|
= |
xsd:string |
|
= |
xsd:string |
|
= |
xsd:IDREF |
|
= |
"2.0" |
|
= |
xsd:QName |
|
= |
xsd:string |
|
= |
("public" | "private" | "protected" | "package") |
|
= |
xsd:string |
|
= |
xsd:string |
|
= |
("internal" | "local" | "external") |
|
= |
xsd:string |
|
= |
xsd:string |
|
= |
xsd:string |
|
= |
xsd:string |
|
= |
xsd:string |
|
| |
> |
| |
|
| </...> |
All Direct / Indirect Based Elements (1):
-
Known Usage Locations
Annotation
A protocol transition (transition as specialized in the ProtocolStateMachines package) specifies a legal transition for an operation. Transitions of protocol state machines have the following information: a pre condition (guard), on trigger, and a post condition. Every protocol transition is associated to zero or one operation (referred BehavioralFeature) that belongs to the context classifier of the protocol state machine. The protocol transition specifies that the associated (referred) operation can be called for an instance in the origin state under the initial condition (guard), and that at the end of the transition, the destination state will be reached under the final condition (post).
Type Definition Detail
Type Derivation Tree  uml:ProtocolTransition |
XML Source (w/o annotations (4); see within schema source)
| <xsd:complexType name="ProtocolTransition"> <xsd:complexContent> <xsd:choice maxOccurs="unbounded" minOccurs="0"> </xsd:choice> </xsd:extension> </xsd:complexContent> </xsd:complexType> |
Attribute Detail (all declarations; defined within this component only; 1/17) 
preCondition-
Type: |
xsd:string, predefined |
Use: |
optional |
Specifies the precondition of the transition. It specifies the condition that should be verified before triggering the transition. This guard condition added to the source state will be evaluated as part of the precondition of the operation refered by the transition if any.
XML Source (w/o annotations (1); see within schema source)
Content Element Detail (all declarations; defined within this component only; 2/15) -
Specifies the post condition of the transition which is the condition that should be obtained once the transition is triggered. This post condition is part of the post condition of the operation connected to the transition.
XML Source (w/o annotations (1); see within schema source)
-
Specifies the precondition of the transition. It specifies the condition that should be verified before triggering the transition. This guard condition added to the source state will be evaluated as part of the precondition of the operation refered by the transition if any.
XML Source (w/o annotations (1); see within schema source)
