This position paper describes how to represent Shlaer-Mellor Object-Oriented Analysis work products using the Unified Modeling Language. The Unified Modeling Language (UML) is a language, a notation, for expressing models of object-orient ed designs. It does not prescribe a software development process, i.e., a set of techniques, guidelines and steps for constructing a set of related work products. The Shlaer-Mellor Method [SM1] is a well-defined and disciplined software construction process based on the explicit separation of the analysis of the application and the specification of the software design. In this method the system is divided into distinct, separate subject matters called domains, and each domain is analyzed using Shlaer-Mellor Object-Oriented Analysis. The method prescribes a set of well-defined analysis work products. The software design for the system as a whole is specified in a separate domain called the Software Architecture. Given a sufficiently-p owerful modeling language, the Shlaer-Mellor Object-Oriented Analysis work products may be expressed in any notation. Because the UML is a powerful and flexible notation, it is possible to follow the Shlaer-Mellor process and express the Shlaer-Mellor concepts and work products using UML.
[1]
Stephen J. Mellor,et al.
Shlaer-Mellor method
,
1994
.
[2]
Stephen J. Mellor,et al.
Object lifecycles: modeling the world in states
,
1992
.
[3]
David Harel,et al.
Statecharts: A Visual Formalism for Complex Systems
,
1987,
Sci. Comput. Program..
[4]
Edward F. Moore,et al.
Gedanken-Experiments on Sequential Machines
,
1956
.
[5]
Stephen J. Mellor,et al.
Object Oriented Systems Analysis: Modeling the World in Data
,
1988
.
[6]
A. Church.
Edward F. Moore. Gedanken-experiments on sequential machines. Automata studies , edited by C. E. Shannon and J. McCarthy, Annals of Mathematics studies no. 34, litho-printed, Princeton University Press, Princeton1956, pp. 129–153.
,
1958,
Journal of Symbolic Logic.