MIRA - Model-based Integrated Requirements Analysis

Use Cases

Use Cases are a special type of Requirements. Following Jackson, a use case describes the behavior of the machine to achieve the desired effect on the environment. Every use case contains one ore more Scenarios describing the interaction of the machine with its environment. Use cases and scenarios should describe the system under construction as a black-box.

Every use case has a Detail section with typical use case information. This information can be connected to the architecture. Every scenario can be described as structured text or as a formal MSC. Additionally, every use case can be formalized to a Formal Specification.



Connection of use case and component architecture

In the section Detail of a use case, a simple connection between use case and component architecture can be done: When the scope of a use case is connected with a component, then the reference to this use case is also listed below the component. So you can easily see which use cases belong to one component. Double-clicking on the reference opens the corresponding requirement editor.



Connection of use case and requirement sources

Clicking the button next to the Actor(s) field, you can edit the actor list of the use case. Actors can be selected from existing stakeholders and external systems. Within the selection dialog you can also create, delete and edit Stakeholders and External Systems.



Holding the mouse over an actor, you open a hint with the information of the Requirement Source of this actor.