The Shlaer-Mellor Models

-Sumant Kulkarni

Shlaer-Mellor Models
 

Domain → Subsystem → Objects Deliverables of Shlaer-Mellor Methods
– – – – Object Information Model State Model Process Model Object Communication Model

We restrict to formal analysis of a subsystem.

Shlaer-Mellor Models
Information Model:
 

Uses a variant of E-R notations. Object and Object Class

Information Model

Each object class has an identifier (like a key attribute) Identifier is a set of attributes marked by *. All relationships are binary and represented by bidirectional arrows.

 

Information Model

Participations
– – Mandatory (default) Conditional ( denoted by c) – does it mean partial?

Associative Object Class (AOC) is the collection of relationship attributes. AOC is connected to relationship by a unidirectional arrow.

Associative Object Model of Information Model

State Model
Life cycle

Specialization in Object Information Model

Process Model

Each action is specified by action data flow diagram. ADFD represents processing done during the action. ADFD is a collection of:
– – – Process → Represented by ovals Data stores → Represented by two parallel lines System is connected by data flows.

With ADFD, a process description must also be produced for each process.

Shlaer-Mellor Method

There are also a set of derived models to support the three models. They are:

Object Communication Model

Represented as a directed graph.
– – Node → External entity or Object Edge → Action sent by one node to other.

Represents the asynchronous message communication between objects. Could not get hold of all notation.

Object Communication Model

There are also a set of derived models to support the three models. They are:

References

Peter Biggs. A Survey of Object-Oriented Methods

http://www.smartdraw.com/resources/tutorials/shlaer-mellor-diagrams/#/resources/tutorials/Cla http://ooatool.blogspot.com/ Sally Shlaer and Stephen J. Mellor. The Shlaer-Mellor Method. 1996 Rodney C. Montrose. Object-Oriented Development Using the Shlaer-Mellor Method. 1995 Neil Lang. Shlaer-Mellor Object-Oriented Analysis Rules. 1993 http://www.smartdraw.com/resources/tutorials/shlaer-mellor-diagrams/ http://homepages.feis.herts.ac.uk/~comqmw/SDD/OO/shlaer-mellor/SH-MELL.html R.J. Wieringa and G. Saake. Formal Analysis of the Shlaer-Mellor Method: Towards a Toolkit of Formal and Informal Requirements Specification Techniques, 1996

State Model

State Model

State Model

Sign up to vote on this title
UsefulNot useful

Master Your Semester with Scribd & The New York Times

Special offer: Get 4 months of Scribd and The New York Times for just $1.87 per week!

Master Your Semester with a Special Offer from Scribd & The New York Times