Publication -
 Bernhard Rumpe
Automata Describing Object Behavior

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.


Available as pdf


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