Assertion: component's behavior | /r/AtLocation | interface
Facets:
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.