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 ModelsInformation 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 ModelLife 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/Class-Diagrams-and-Class-Structure-Charts

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