Assertion: component's behavior | /r/AtLocation | port
Facets:
value: to define the external view
type: PURPOSE
value: optionally
type: MANNER
Source sentences:
text: Optionally, a behavior such as a protocol state machine may be attached to an interface, port, and to the component itself, to define the external view more precisely by making dynamic constraints in the sequence of operation calls explicit.