Operation Specification--Preconditions Tab

Figure 29 Operation Specification--Preconditions Tab

Refer to the descriptions in the Introduction to Specifications chapter for information on the specification elements not covered in the following section.

Preconditions

Invariants that are assumed by the operation (the entry behavior of an operation) are listed.

Interaction Diagram

Select an interaction diagram from the list that illustrates the appropriate semantics.