A Semantics for Object-Oriented Systems
Tony Clark · Electronic workshops in computing · 1998
Current object-oriented design notations such as OMT [14], Booch [3] and UML [16] are syntax-bound and semantic-free in the sense that they typically employ a large and rigorously enforceable collection of construction rules, but rarely provide a model to explain what is being constructed. Whilst this omission clearly does not prevent such notations being used effectively in the development of object-oriented software systems, it must raise questions regarding the long-term viability of notations which are not adequately anchored in a semantic theory.