Verifying Use Cases, Data Flow Diagrams, Entity Relationship Diagrams, and State Diagrams via State Linkages

Featured
78368 Views
4 Comments
40 Likes

The purpose of this brief article is to provide a simple example on how to link and verify four models: use case, data flow diagrams, entity relationship diagrams, and state diagrams. Note the word verify, not validate. Verify in this context means that the technique is consistent and complete, not that it reflects correct requirements.

In writing this article, the author assumes the reader understands the four models mentioned above. With this understanding, the article focuses on the relationship between the models via states.

Use case is an alternative technique for documenting functional requirements for interactive operational systems. It models a dialogue (a process) between a user (actor) and a user goal (use case). The technique consists of a diagram and a description. The description of a use case includes pre and post conditions.

  • The precondition is the state of the application that is guaranteed to exist in order for the use case to start (no precondition checking within the use case)
  • The post-condition is the state of the application that is the result of the success or failure of the use case (state change must be a step within the use case)

Hotel Application Example

Let’s say a hotel desk clerk has five goals: create reservation, confirm a reservation with a credit card, fulfill a reservation, cancel a reservation, and close a reservation. In this case, the hotel application tracks reservations via a “state”attribute for a reservation. Each time the hotel desk clerk executes a use case, the hotel system either changes a reservation’s state to an appropriate value or leaves it unchanged. Figure 1 depicts the Hotel Application.

Use Case Diagram for Hotel Application
Figure 1. Use Case Diagram for Hotel Application

Use Case Pre and Post-conditions for Hotel Application

Below are the pre- and post-conditions for the five use cases needed by the hotel front desk clerk. These conditions are contained in each respective use case description (for brevity not shown).

►Create a reservation

  • Precondition –there is no customer reservation (i.e., no precondition)
  • Post-condition for success – the customer reservation is created with a state attribute having the value of “opened”
  • Post-condition of failure – the customer reservation is not created

►Confirm a reservation

  • Precondition – the customer reservation exists with its state attribute having the value of “opened”
  • Post-condition for success – the customer reservation exists with its state attribute changed to the value “confirmed”
  • Post-condition for failure – the customer reservation continues to exist with no value change to its state attribute

►Cancel a reservation

  • Precondition – the customer reservation exists with a state attribute having the value of “opened” or “confirmed”
  • Post-condition for success – the customer reservation with its state attribute changed to the value of “cancelled”
  • Post-condition for failure – the customer reservation continues to exist with no value change to its state attribute

►Fulfill a reservation

  • Precondition – the customer reservation exists with its state attribute having the value of “open” or “confirmed”
  • Post-condition for success – the customer reservation exists with its state attribute changed to the value of “fulfilled”
  • Post-condition for failure – the customer reservation continues to exist with no value change to its state attribute

►Close a reservation

  • Precondition – the customer reservation exists with its state attribute having the value of “fulfilled”
  • Post-condition of success – the customer reservation exists with its state attribute changed to the value of “closed”
  • Post-condition of failure – the customer reservation continues to exist with no value change to its state attribute

Note that in each use case description there needs to be a scenario step that sets the value of the reservation state attribute depending on the success or failure of the use case.For example, at step 10 of the “Confirm a reservation”scenario:

...

10. The hotel application changes the reservation state to “confirmed”

...

This value of the state attribute is then the precondition guarantee for any future use case execution.

Linkage to Other Models

Use case is a process model. However, our hotel application also uses data attributes, in particular “reservation state” to track its status.For consistency and completeness, the attribute “reservation state”needs to exist in a

►Data flow model – Data Flow Diagram

  • A Data Flow Diagram (DFD) models data as it flows through the business processes and into various data stores (Figure 2).

Data Flow Diagram for Hotel Application

Figure 2. Data Flow Diagram for Hotel Application

  • For the hotel application, the DFD needs to show the reservation state changes after it passes through a hotel process. This is the same reservation state shown in the use case pre- and post-conditions.

►Data model – Entity Relationship Diagram

  • An Entity Relationship Diagram (ERD) models entities, their attributes, and their relationships (Figure 3).

 Entity Relationship Diagram for Hotel Application

Figure 3. Entity Relationship Diagram for Hotel Application

  • For the hotel application, the ERD needs to show the reservation state attribute residing in the Reservation entity. This is the same reservation state shown in the use case pre- and post-conditions and the data flow diagram.

►State model – State Machine Model

  • A State Machine Model models the value sequence of various state data items in an application (Figure 4).

State Diagram for Reservation
Figure 4. State Diagram for Reservation

  • For the hotel application, the State Machine Model needs to show the sequence of the valid values for the reservation state (open, confirmed, fulfilled, cancelled, and closed). This is the same reservation state shown in the use case pre- and post-conditions, the data flow diagram and the entity relationship diagram.

Summary

The state attribute is the logic glue that holds these models together. The analyst needs to verify the models for consistency and completeness (Figure 5).

 Reservation States between Models

Figure 5. Reservation States between Models

Questions for Checking Consistency and Completeness of Models

  • Are Use Cases, DFDs, ERDs, and State Machines models consistent and complete with each other?

○ Are state changes shown as use case pre- and post-conditions?Use cases model the functions that set states.

○ Are state changes shown in information flows?Data flow diagrams model the processes that transform states.

○ Are state attributes shown for entities? Entity relationship diagrams model entities and their states.

○ Are valid state values shown in sequence?State machine diagrams model the sequence of state values.

Post Script

Another opportunity to show model consistency and completeness via state linkage is the “None Intermediate Event” in Business Process Model and Notation (BPMN). The “None Intermediate Event” shows changes in state within the business process.


Author: Mr. Monteleone holds a B.S. in physics and an M.S. in computing science from Texas A&M University. He is certified as a Project Management Professional (PMP®) by the Project Management Institute (PMI®), a Certified Business Analysis Professional (CBAP®) by the International Institute of Business Analysis (IIBA®), a Certified Scrum Master (CSM) and Certified Scrum Product Owner (CSPO) by the Scrum Alliance, and certified in BPMN by BPMessentials. He holds an Advanced Master’s Certificate in Project Management (GWCPM®) and a Business Analyst Certification (GWCBA®) from George Washington University School of Business. Mark is also a member of the Association for the Advancement of Cost Engineering (AACE) International and the International Association of Facilitators (IAF).

Mark is the President of Monteleone Consulting, LLC and author of the book, The 20 Minute Business Analyst: a collection of short articles, humorous stories, and quick reference cards for the busy analyst. He can be contacted via – www.baquickref.com.

Like this article:
  40 members liked this article
Featured
78368 Views
4 Comments
40 Likes

COMMENTS

Leslie posted on Wednesday, March 12, 2014 1:34 PM
Short, precise, to the point and easy to follow.

One criticism and that is of the connection between the use case diagram and the data flow diagram. I think that Jacobson makes it clear that use cases should not be confused with functional decomposition elements, such as a process in a data flow diagram.

Better to convert the use case into a functional item and then reference the data. UML recommends activity diagrams, but a data flow diagram might work also.

In summary, a use case should not be included as part of a functional model, since it is in tended to be an atomic, stand-alone, container component - not decomposable (if that is the correct word).
baldrick
Tony Markos posted on Wednesday, March 12, 2014 2:19 PM
So why do we need graphical use cases? Just attach an actor label to each DFD bubble (granted for interal processing bubbles we would not do such). Then relate all the pre and post condition stuff to the DFD.

I have been saying for some time that use cases are just poor man's DFDs. That is DFDs without the data flows.

(The data flows are critical for integration in larger scale efforts.)
ajmarkos
Leslie posted on Thursday, March 13, 2014 5:40 PM
Good question. You can pick up any number of books on use cases which will explain the difference between a use case and a data flow process (Analysis Through Pictures, by Leslie Munday for example). A simple answer is that a use case diagram does not describe data or events, it describes needs and relationships.
If you are a developer why does this interest you? It probably doesn't. Use cases diagrams are not drawn for developers, they are drawn for business and managers - see there is a good reason why they are very simple ;-)
baldrick
dejohnny posted on Monday, March 31, 2014 3:20 PM
Mark,

I commend you on your out of the box thinking. There is a huge knowledge gap between the design recipe of developers and BA's. You've have clearly seem the gaps, and tried to make sense of it. I don't see anything wrong with your analysis. But others may frown upon it simply because they don't want to stray from the core principals of SADT and UML.
dareljohnson
Only registered users may post comments.

 



Upcoming Live Webinars

 




Copyright 2006-2024 by Modern Analyst Media LLC