On object systems and behavioral inheritance.

On object systems and behavioral inheritance.

We consider state-based behavior in object-oriented analysis and design, as it arises, for example, in specifying behavior in the UML using statecharts. We first provide a rigorous and analyzable model of object systems and their reactivity. The definition is for basic one-thread systems, but can be...

Täydet tiedot

Bibliografiset tiedot
Julkaisussa:IEEE Transactions on software engineering 28, 9 (2002).
Päätekijä: Harel, D.
Aineistotyyppi: Artikkeli
Kieli:English
Aiheet:
UML.
Behavioral conformity.
Behavioral inheritance.
Class substitutability.
Modeling.
Object systems.
Object-oriented analysis and design.
One-thread systems.
Reactivity.
State-based behavior.
Statecharts.
Verification.