M_2_2.1 Software Requirements Analysis and Modeling
M_2_2.1 Software Requirements Analysis and Modeling
Requirements Engineering
Requirement: A function, constraint or
other property that the system must
provide to fill the needs of the system’s
intended user(s)
Engineering: implies that systematic and
repeatable techniques should be used
Requirement Engineering means that
requirements for a product are defined,
managed and tested systematically
Requirements Engineering
Evolutionary Delivered
prototyping system
Outline
Requirements
Throw-away Executable Prototype +
Prototyping System Specification
Evolutionary prototyping
Reusable
components
Delivered
Develop Validate software
software system system
Throw-away prototyping
Used to reduce requirements risk
The prototype is developed from an initial
specification, delivered for experiment then
discarded
The throw-away prototype should NOT be
considered as a final system
Some system characteristics may have been
left out
There is no specification for long-term
maintenance
The system will be poorly structured and
difficult to maintain
Prototyping Methods and Tools
A prototype must be developed rapidly so that the customer may assess results and
recommend changes.
3 methods are available:
1. Fourth Generation Techniques (4GT)
4GT enable the software engineer to generate executable code quickly, they are ideal for
rapid prototyping.
Ex. Tool for Database query language or reporting language.
2. Reusable software components
To rapid prototyping is to assemble, rather than build, the prototype by using a set of
existing software components.
Should maintain library for existing software components
An existing software product can be used as a prototype for a "new, improved"
competitive product
3. Formal specification and prototyping environments
Enable an analyst to interactively create language-based specifications of a system or
software,
Invoke automated tools that translate the language-based specifications into executable
code,
Enable the customer to use the prototype executable code to refine formal requirements.
Specification
Mode of specification has much to do with the quality of
solution.
If specification incomplete, inconsistent, or misleading
specifications have experienced the frustration and
confusion that invariably results.
Specification Principles: May be viewed as
representation process.
1. Separate functionality from implementation.
2. Develop a model of the desired behavior of a system.
3. Establish the context in which software operates by
specifying the manner.
4. Define the environment in which the system operates and
indicate how.
Specification Principles (cont.)
5. Create a cognitive model rather than a design or
implementation model. The cognitive model describes a
system as perceived by its user community.
6. The specifications must be tolerant of incompleteness
and augmentable.
7. Establish the content and structure of a specification in a
way that will enable it to be amenable to change.
Specification Representation
Representation format and content should be relevant to
the problem.
For example, a specification for a manufacturing automation system might
use different symbology, diagrams and language than the specification for
a programming language compiler.
Information contained within the specification should be
nested (layered).
Paragraph and diagram numbering schemes should indicate the level of
detail that is being presented.
It is sometimes worthwhile to present the same information at different
levels of abstraction to aid in understanding.
Diagrams and other notational forms should be restricted
in number and consistent in use.
Confusing or inconsistent notation, whether graphical or symbolic,
degrades understanding and fosters errors.
Representations should be revisable.
Software Requirements Specification
It contains a complete information description, a detailed functional
description, a representation of system behavior, an indication of
performance requirements and design constraints, appropriate
validation criteria, and other information pertinent to requirements.
Format of SRS:
Introduction of the software requirements specification states the goals
and objectives of the software, describing it in the context of the
computer-based system.
Information content, flow, and structure are documented. Hardware,
software, and human interfaces are described for external system
elements and internal software functions.
Functional Description A processing narrative is provided for each
function, design constraints are stated and justified & performance
characteristics are stated
Behavioral Description operation of the software as a consequence of
external events and internally generated control characteristics.
Software Requirements Specification (Cont.)
Validation Criteria is probably the most important and, ironically,
the most often neglected section of the Software Requirements
Specification (SRS). Testing or validating each user-scenario.
Scenario-based elements
Use-case—How external actors interact with the
system (use-case diagrams; detailed templates)
Functional—How software functions are
processed in the system (flow charts; activity
diagrams)
Activity – can be represented at many diff. level
of abstraction.
Class diagram for sensor
Class-based elements
The various system objects (obtained from
scenarios) including their attributes and
functions (class diagram)
Behavioral Element – State
Diagram
Behavioral elements
How the system behaves in response to
different events (state diagram)
Flow-oriented elements
Flow-oriented elements
How information is transformed as if flows
through the system (data flow diagram)
System accepts input in a variety forms; applies
functions to transform it; and produces output in
variety forms.
Scenario based Modeling
Creating a Preliminary use case
use case describes a specific usage scenario in
straightforward language from the point of
view of a defined actor. But how do you know
(1) what to write about, (2) how much to write
about it, (3) how detailed to make your
description, and (4) how to organize the
description? These are the questions that must
be answered if use cases are to provide value
as a requirements modeling tool.
Scenario based Modeling
Refining a Preliminary Use Case
A description of alternative interactions is essential for a
complete understanding of the function that is being
described by a use case. Therefore, each step in the primary
scenario is evaluated by asking the following questions
[Sch98a]:
• Can the actor take some other action at this point?
• Is it possible that the actor will encounter some error
condition at this point? If
so, what might it be?
• Is it possible that the actor will encounter some other
behavior at this point (e.g., behavior that is invoked by some
event outside the actor’s control)? If so, what might it be?
Scenario based Modeling
Data Modeling
Analysis model often begin with data
modeling.
Data model consists of three interrelated
pieces of information:
The data object,
The attributes that describe the data object,
and
The relationships that connect data objects
to one another.
Data Object
A data object is a representation of almost any
composite information that must be understood by
software.
composite information - number of different properties or
attributes.
A data object can be:-
An external entity (e.g., anything that produces or
consumes information),
A thing (e.g., a report or a display),
An occurrence (e.g., a telephone call)
Event (e.g., an alarm),
A role (e.g., salesperson),
An organizational unit (e.g., accounting department),
A place (e.g., a warehouse),
A structure (e.g., a file).
Data Attributes
Define the properties of a data object.
Attributes name a data object, describe
its characteristics, and in some cases,
make reference to another object.
In addition, one or more of the
attributes must be defined as an
identifier( Key value or Unique value).
Ex. Data object Car has Id number as
identifier.
For Ex.- Set of attributes can be defined
for a person or a car (i.e. Data Object)
Relationships
Data objects are connected to one another in different ways.
Figure 6.8a. A connection is established between person
and car because the two objects are related.
For example,
• A person owns a car.
• A person is insured to drive a car.
The relationships owns and insured to drive define the
relevant connections between person and car.
Figure 6.8b illustrates these object-relationship pairs
graphically.
The arrows noted in Figure 6.8b provide important
information about the directionality of the relationship and
often reduce ambiguity or misinterpretations.
Relationships
Relationships
Consider two data objects
Book
Bookstore
A connection is established between book and
bookstore because the two objects are related.
Relationship
To determine relationship between them, must
understand the role of book and bookstore.
For Example:
A bookstore orders books.
A bookstore displays books.
A bookstore stocks books.
A bookstore sells books.
A bookstore returns books.
Cardinality and Modality
Additional element of data modeling.
Object X relates to object Y does not
provide enough information.
How many occurrences of object X
are related to how many occurrences
of object Y called cardinality.
Cardinality
Representing the number of occurrences objects in a
given relationship.
Cardinality is the specification of the number of
occurrences of one [object] that can be related to the
number of occurrences of another.
Cardinality is usually expressed as simply 'one' or
'many’.
1:1 – One object can relate to only one other object.
1:M – one object can relate to many objects.
M:N – Some no. of occurrences of an object can
relate to some other no. of occurrences of another
object.
Modality
Cardinality does not provide an indication of whether or
not a particular data object must participate in the
relationship.
Modality of a relationship is 0 if there is no explicit need
for the relationship to occur or the relationship is
optional.
The modality is 1 if an occurrences of the relationship is
mandatory.
Class based modeling
Class-based modeling represents the objects that the
system will manipulate, the operations (also called
methods or services) that will be applied to the objects
to effect the manipulation, relationships (some
hierarchical) between the objects, and the collaborations
that occur between the classes that are defined.
The elements of a class-based model include classes and
objects, attributes, operations, class responsibility-
collaborator (CRC) models, collaboration diagrams, and
packages.
Class based modeling
Identifying Analysis Classes
Specifying Attributes
Defining operations
CRC modeling
Identifying Analysis classes
Identify classes by examining the problem
statement or by performing a “Grammatical
Parse” on the use-cases or processing
narratives developed for the system.
How do analysis classes manifest?
External entities (other system, people, devices) that
produce or consume information
Things (reports, display, signals) that are part of the
information domain for the problem.
Occurrences or events – occur within the context of
system operations.
Analysis classes (cont.)
Roles ( manager, engineer, salesperson) played by
people who interact with the system.
Organizational units (Division, group, team) that are
relevant to an application,
Places – establish the context of the problem and overall
function of the system.
Structures (sensors, computers) that define a class of
objects or related classes of objects.
Selecting Criteria - Classes
Retained Information – Potential class must be
remembered so that system can function.
Needed Services – Must have set of identifiable
operations that can change the value of its
attributes.
Multiple Attributes – A class with single
attribute may, in fact, be useful during design,
but probably better represented as an
attributes of another class.
Common Attributes – These attributes apply to
all instances of the class
Selecting Criteria - Classes
Common operations - A set of operations can
be defined for the potential class and these
operations apply to all instances of the class.
Essential requirements - External entities that
appear in the problem space and produce or
consume information essential to the operation
of any solution for the system will almost
always be defined as classes in the
requirements model.
Specifying Attributes
Attributes are the set of data
objects that fully define the class
within the context of the problem.
To develop attributes for class, a
s/w can study use-case and select
those “things” that reasonably
“Belong” to the class.
Defining operations
Operations define the behavior of an object.
Four broad categories
1. Operations that manipulate data in some way.
2. Operations that perform a computation.
3. Operations that inquire about the state of an object
4. Operations that monitor an object for the occurrence
of the controlling event.
To derive a set of operations, analyst study a
use-case( or narrative) and select those
operations that reasonably belongs.
Defining operations
Class-Responsibility-collaborator
(CRC) modeling
Simple means for identifying and organizing
the classes that are relevant to system or
product requirement.
A CRC model is a collection of standard
index cards that represent classes. Cards
are divided into three sections.
Top of the cards write class name
In the body, list the class responsibility on left.
Collaborator on the right
It make use of actual or virtual index cards.
CRC – Classes Instantiation
Three types classes:
1. Entity Classes (model or business classes):-
Represent things that are to be stored in a database
and persist throughout the duration of the
application.
2. Boundary class:- used to create interface. It
designed with the responsibility of managing the way
entity objects are represented to users.
3. Controller Class:- manage a “unit of work” from start
to finish.
1. Creation or update of entity objects.
2. Representation of boundary objects as they obtain
information from entity objects.
3. Complex communication between sets of objects.
4. Validation of data.
Responsibility – CRC modeling
Guideline for allocating responsibility to classes:
1. System intelligence should be distributed across
classes to best address the needs of the problem.
2. Each responsibility should be stated as generally
as possible.
3. Information and the behavior related to it should
reside within the same class.
4. Information about one thing should be localized
with single class, not distributed across multiple
classes.
5. Responsibility should be shared among related
classes, when appropriate.
Collaborations – CRC modeling
Collaborations represent request from client to
server in fulfillment of a client responsibility.
Ex. One object collaborate with another object if it
needs to send some msg to other object.
It identifying relationships between objects.
Collaborations are identified by determining
whether a class can fulfill each responsibility itself.
If it cannot, then it needs to interact with another
class.
CRC modeling
Class:
Class:
Description:
Class:
Description:
Class:FloorPlan
Description:
Responsibility:
Description: Collaborator:
Responsibility: Collaborator:
Responsibility: Collaborator:
Responsibility: Collaborator:
defines floor plan name/type
manages floor plan positioning
scales floor plan for display
scales floor plan for display
incorporates walls, doors and windows Wall
shows position of video cameras Camera
Reviewing CRC model
All participants in the review (of the CRC model) are
given a subset of the CRC model index cards.
Cards that collaborate should be separated (i.e.,
no reviewer should have two cards that
collaborate).
All use-case scenarios (and corresponding use-case
diagrams) should be organized into categories.
The review leader reads the use-case deliberately.
As the review leader comes to a named object,
she passes a token to the person holding the
corresponding class index card.
Cont.
When the token is passed, the holder of the class card is
asked to describe the responsibilities noted on the card.
The group determines whether one (or more) of the
responsibilities satisfies the use-case requirement.
If the responsibilities and collaborations noted on the index
cards cannot accommodate the use-case, modifications are
made to the cards.
This may include the definition of new classes (and
corresponding CRC index cards) or the specification of
new or revised responsibilities or collaborations on
existing cards.
Function Modeling & Information
Flow
Information is transformed as it flows through a
computer-based system. The system accepts input in a
variety of forms; applies hardware, software, and human
elements to transform it; and produces output in a
variety of forms
Structured analysis began as an information flow
modeling technique.
A rectangle is used to represent an external entity
(software, hardware, a person)
A circle (sometimes called a bubble) represents a
process or transform that is applied to data (or control)
and changes it in some way.
Function Modeling & Information
Flow
An arrow represents one or more data items
(data objects) and it should be labeled.
The double line represents a data store—stored
information that is used by the software.
First data flow model (sometimes called a level
0 DFD or context diagram) represents the
entire system.
It provides incremental detail with each
subsequent level.
Information Flow model
Creating a Data Flow Model
It enables software engineer to develop
models of the information domain and
functional domain at the same time.
Data flow diagram may be used to
represent a system or software at any level
of abstraction
As DFD is refined into greater levels of
detail, the analyst performs an implicit
functional decomposition of the system.
As DFD refinement results in corresponding
refinement of data as it moves through the
processes that represent the application
DFD Guidelines
Depict the system as single bubble in level 0.
Primary input and output should be carefully
noted
Refine by isolating candidate processes and
their associated, data objects and data stores
All arrows and bubbles should be labeled with
meaningful names.
Information flow continuity must be
maintained from level to level.
One bubble at a time should be refined.
Data flow models
A level 0 DFD, also called a fundamental system
model or a context model, represents the entire
software element as a single bubble with input and
output data indicated by incoming and outgoing
arrows.
Level 0 DFD refinement into level 1 DFD with all
relevant processes to the system.
Level 1 DFD each processes can be refined into
level 2 DFD.
Refinement of DFD continues until each bubble
performs a simple function.
Data flow models
Data flow models
Control flow model
Application which contains collection of
classes are dependent on event rather
than data, produce control information
rather than reports or displays.
Such application require the use of
control flow modeling in addition to data
flow modeling.
Guideline for control flow
List all processes that are performed by the software.
List all the interrupt conditions.
List all activities that are performed by operator or
actor.
List all data conditions.
Review all the “Control items” as possible for control
flow inputs / outputs.
Describe the behavior of a system by identifying its
states; identify how each state is reached; define the
transitions between states.
Focus on possible omission – a very common error in
specifying control
Control Specification (CSPEC)
CSPEC represent the behavior of the system in two
different ways.
It contains a state diagram – sequential specification
of behavior.
It also contain program activation table –
combinatorial specification of behavior.
By reviewing the state diagram, a software engineer
can determine the behavior of the system and can
discover whether there are “holes” in specified
behavior.
CSPEC describe the behavior of the system, but it
gives us no information about the inner working of the
processes that activated result.
Process Specification (PSPEC)
Used to describe all flow model processes
that appear at the final level of refinement.
It include narrative text, a program design
language (PDL) description of the process
algorithm, mathematical equations, tables,
diagrams or charts.
By providing a PSPEC to accompany each
bubble in the flow model, the software
engineer creates a “mini-spec” that can
serve as guide for design of the software
component that will implement the process.
Behavioral Modeling
Behavioral model indicates how software will
respond to external events.
To create model –
Evaluate all use cases to understand the sequence of
interaction within the system.
Identify events
Create sequence for each use-case
Build a state diagram for the system.
Review the behavioral model to verify accuracy or
consistency.
Identifying events with the use-cases
Use-case represents a sequence of activities that
involves actors and the system.
An event occurs whenever the system and an actor
exchange information.
An event is not the information that has been
exchanged, but rather the fact that information has been
exchanged.
An actor should be identified for each event.
Information that is exchanged should be noted.
Any conditions or constraints should be listed.
State Representation
2 diff. characteristics should be considered.
Passive State
Active State
Passive state is simply the current status of all of an
object’s attributes.
Ex. Player – class
current position and orientation – attributes.
Active State is current state of the object as it undergoes
a continuing transformation or processing.
Ex. Player – class
active state – moving, injured, trapped, lost etc.
An event must occur to force an object to make a transition
from one active state to another.
State diagram for analysis classes
UML state diagram that represents
active states for each class and
events that causes changes between
these active state.
An action occurs concurrently with
the state transition or as a sequence
of it and generally involves one or
more operations of the object.
Sequence diagram
It indicates how events cause transitions from
object to object .
Once event have identified by examining a use-
cases, the modeler creates a sequence diagram.
It representation of how events cause flow from one
objects to another as function of time.
Its shorthand version of use-case diagram that
represent key classes and the events that cause
behavior to flow from class to class.
System objects and events will help in creation of
effective design.
Sequence diagram