A note on semantics (with an emphasis on UML) (1998)
Cached
Download Links
| Venue: | IN HAIM KILOV AND BERNHARD RUMPE, EDITORS, SECOND ECOOP WORKSHOP ON PRECISE BEHAVIORAL SEMANTICS. TECHNISCHE UNIVERSIT"AT M"UNCHEN TUM-I9813 |
| Citations: | 14 - 7 self |
BibTeX
@INPROCEEDINGS{Rumpe98anote,
author = {Bernhard Rumpe},
title = {A note on semantics (with an emphasis on UML)},
booktitle = {IN HAIM KILOV AND BERNHARD RUMPE, EDITORS, SECOND ECOOP WORKSHOP ON PRECISE BEHAVIORAL SEMANTICS. TECHNISCHE UNIVERSIT"AT M"UNCHEN TUM-I9813},
year = {1998},
publisher = {}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This note clarifies the concept of syntax and semantics and their relationships. Today, a lot of confusion arises from the fact that the word “semantics ” is used in different meanings. We discuss a general approach at defining semantics that is feasible for both textual and diagrammatic notations and discuss this approach using an example formalization. The formalization of hierarchical Mealy automata and their semantics definition using input/output behaviors allows us to define a specification, as well as an implementation semantics. Finally, a classification of different approaches that fit in this framework is given. This classification may also serve as guideline when defining a semantics for a new language.
