A case is a kind of calculation that produces a result intended to achieve a specific objective regarding a given subject. A case is a general concept that may be used in its own right, but also provides the basis for more specific kinds of cases, including analysis cases, verification cases, and use cases.

Creating case usage and definition elements

Creating case usage and definition elements via the Textual Editor

To create case usage and definition elements via the Textual Editor

  1. In the Textual Editor, place the cursor where you want to create the element and declare the keyword: 

    1.  case def for a case definition.

    2.  case for a case usage.
  2. Specify the element name.
  3. Specify the case's features in the element body.
  4. Click the Synchronize button.

    case def FaultRecovery {  // case definition
        subject system : AutomationSystem;
        actor engineer : Person;
        objective {
            doc
            /* The engineer determines the cause of the system fault and resolves it returning the system to nominal operation. */
        }
    }

    case faultRecovery : FaultRecovery; // case usage


Creating case usage and definition elements via the Create Element command

To create case usage and definition elements via the Create Element command

  1. In the Containment tree, right-click an element, and in the shortcut menu, click Create Element.

  2. In the Create Element dialog, select one of the following:
    1. case def to create a case definition element.
    2. case to create a case usage element.
  3. Name the element.
  4. Specify the case's features.

Auto-creating case definition elements via the Extract Definition commands

To auto-create case definition elements via the Extract Definition commands