Title :
Meaningful modeling: what\´s the semantics of "semantics"?
Author :
Harel, David ; Rumpe, Bernhard
Author_Institution :
Fac. of Math. & Comput. Sci., Weizmann Inst. of Sci., Rehovot, Israel
Abstract :
The Unified Modeling Language (UML) is a complex collection of mostly diagrammatic notations for software modeling, and its standardization has prompted an animated discussion about UML´s semantics and how to represent it. We have thus set out to clarify some of the notions involved in defining modeling languages, with an eye toward the particular difficulties arising in defining UML. We are primarily interested in distinguishing a language´s notation, or syntax, from its meaning, or semantics, as well as recognizing the differences between variants of syntax and semantics in their nature, purpose, style, and use.
Keywords :
formal specification; grammars; programming language semantics; specification languages; UML semantics; Unified Modeling Language; diagrammatic notations; language meaning; language notation; language semantics; language syntax; modeling language definition; software modeling; Context modeling; Data mining; Handicapped aids; Hardware; Law; Legal factors; Natural languages; Springs; Standardization; Unified modeling language;
DOI :
10.1109/MC.2004.172