Behavioral Specifications of Businesses and Systems
Author(s): A. Evans, K. Lano, R. France, B. Rumpe Year: 1999 Publisher: Kluver Academic Publisher Editor: H. Kilov, B. Rumpe, I. Simmonds Abstract:The Unified Modelling Language is emerging as a de-facto standard for modelling
object-oriented systems. However, the semantics document that a part of the
standard definition primarily provides a description of the language's syntax
and well-formedness rules. The meaning of the language, which is mainly
described in English, is too informal and unstructured to provide a foundation
for developing formal analysis and development techniques. This paper outlines
a formalisation strategy for making precise the core semantics of UML. This is
acheived by strengthening the denotational semantics of the existing UML semantics. To illustrate the approach, the semantics of generalization/specialization are made precise.
BibTeX-Entry:
@inproceedings{ELFR99c,
author = {A. Evans and K. Lano and R. France and B. Rumpe},
title = {Meta-Modeling Semantics of UML},
booktitle = {Behavioral Specifications of Businesses and Systems},
year = {1999},
publisher = {Kluver Academic Publisher},
editor = {H. Kilov and B. Rumpe and I. Simmonds}
}
Bernhard Rumpe