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...

Ful tanımlama

Detaylı Bibliyografya

Yayımlandı:	IEEE Transactions on software engineering 28, 9 (2002).
Yazar:	Harel, D.
Materyal Türü:	Makale
Dil:	İngilizce
Konular:	UML. Behavioral conformity. Behavioral inheritance. Class substitutability. Modeling. Object systems. Object-oriented analysis and design. One-thread systems. Reactivity. State-based behavior. Statecharts. Verification.