Use Case Realization

1
Use Case Realization

• Introduction
• Static Structure from Analysis Classes
• UC Realization Modeling Interactions for
  Verification Discovery

2
UC Realization Mechanisms

• Sequence Model Emphasizes time ordered sequence
  of message sends between lifelines -
  http//www.agilemodeling.com/artifacts/sequenceDia
  gram.htm
• Communication Model Emphasizes the structural
  relationships between objects, quick sketching of
  sequence modeling subset - http//www.agilemodelin
  g.com/artifacts/communicationDiagram.htm
• Interaction Overview Model Complex behavior of
  control flows via a set of simpler interactions,
  special case of activity modeling with nodes
  referring to other interactions -
  http//www.agilemodeling.com/artifacts/interaction
  OverviewDiagram.htm
• Timing Model Emphasize real-time aspect of
  interaction reasoning about time -
  http//www.agilemodeling.com/artifacts/timingDiagr
  am.htm

3
Use Case Realization Elements
4
Interactions, Life Lines, and Messaging

5
Sequence Model Example

6
Example
7
Sequence Model Example

8
State Variants and Constraints

9
Combined Fragments and Operators

• A Sequence model may be divided into area (parts)
  called combined fragments. Each such fragment
  has one operator and one or more operands for
  desired actions. Guard conditions may be
  attached to control the execution of actions for
  the given operator.

10
Fragment Operators

11
Branching with Opt and Alt

• If (condition) then action1 else action2

12
Iteration with Loop and Break

13
Communication Model Example

• The syntax is similar to the sequence model
  without time-phased (tailed) lifelines, focusing
  structural aspects of interactions.

14
Communication Model Iteration

15
Communication Model - Branching