Specification of Behavioral Semantics in Object-Oriented Information Modeling, P. 265-286
Author(s): B. Rumpe, C. Klein Year: 1996 Publisher: Kluwer Academic Publishers Editor: H. Kilov,W. Harvey Abstract:Relating formal refinement techniques with commercial object-oriented software development methods is important to achieve enhancement of the power and flexibility of these software development methods- and tools. We will present an automata model together with a denotational and an operational semantics to describe the behavior of objects. Based on the given semantics, we define a set of powerful refinement rules, and discuss their applicability in software engineering practice, especially with the use of inheritance.
BibTeX-Entry:
@inproceedings{ RumpeKlein_SoBS1996,
author = {B. Rumpe and C. Klein},
title = {Automata Describing Object Behavior},
booktitle = {Specification of Behavioral Semantics in Object-Oriented Information Modeling, P. 265-286},
year = {1996},
publisher = {Kluwer Academic Publishers },
editor = { H. Kilov and W. Harvey}
}
Bernhard Rumpe