Use Case Path Postcondition Requirements

Definition

A use case path postcondition requirement is a functional requirement that specifies a single postcondition on the successful completion of a use case path that shall be implemented by a single:

• Business Enterprise.
• Application.
• Component.

Objectives

The typical objectives of a use case path postcondition requirement are to:

• Ensure that the business, application, or component successfully provides the required use case path functionality to a specific external (e.g., human actor, external application).
• Enable use case models to be used for the analysis and specification of functional requirements.

Examples

The following are typical examples of use case path postcondition requirements:

• Automatic Teller Machine:
  • “TBD”
• Digital Thermostat Example:
  • “TBD.”
• Global Personal Marketplace (GPM), an Online Auction Example:
  • “TBD.”

Guidelines

The following guidelines have been found to be useful when producing use case path postcondition requirements:

• See additional use case path modeling guidelines.