Title :
A practical notation for object oriented analysis with a formal meaning
Author :
Hoffman, Dr Johan
Author_Institution :
RUG-INTEC, Gent, Belgium
Abstract :
A more formal approach to object oriented information modeling (H. Kilov and J. Ross, 1994) is proposed. The five basic associations (dependency, reference, composition, subtyping and symmetric relationship) are defined mathematically, but may still be used in a graphical notation in a user friendly way. In this way, it is possible to obtain an information model with a strict mathematical meaning without additional effort
Keywords :
formal specification; object-oriented methods; object-oriented programming; composition; dependency; formal approach; formal meaning; graphical notation; information model; object oriented analysis; object oriented information modeling; practical notation; reference; strict mathematical meaning; subtyping; symmetric relationship; user friendly method; Computer errors; Computer languages; Computer science; Information analysis; Mathematical model; Object oriented methods; Object oriented modeling; Programming; Software engineering; Unified modeling language;
Conference_Titel :
Technology of Object-Oriented Languages and Systems, 1997. TOOLS 25, Proceedings
Conference_Location :
Melbourne, Vic.
Print_ISBN :
0-8186-8485-2
DOI :
10.1109/TOOLS.1997.681873
