Catalogo Articoli (Spogli Riviste)

OPAC HELP

Titolo:
Inheritance of behavior
Autore:
Basten, T; van der Aalst, WMP;
Indirizzi:
Eindhoven Univ Technol, Dept Elect Engn, NL-5600 MB Eindhoven, NetherlandsEindhoven Univ Technol Eindhoven Netherlands NL-5600 MB ven, Netherlands Eindhoven Univ Technol, Dept Technol Management, NL-5600 MB Eindhoven, Netherlands Eindhoven Univ Technol Eindhoven Netherlands NL-5600 MB ven, Netherlands Eindhoven Univ Technol, Dept Comp Sci, NL-5600 MB Eindhoven, Netherlands Eindhoven Univ Technol Eindhoven Netherlands NL-5600 MB ven, Netherlands
Titolo Testata:
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING
fascicolo: 2, volume: 47, anno: 2001,
pagine: 47 - 145
SICI:
1567-8326(200103/04)47:2<47:IOB>2.0.ZU;2-2
Fonte:
ISI
Lingua:
ENG
Soggetto:
PETRI NETS; PROCESS ALGEBRA; BISIMULATION; EQUIVALENCE; SYSTEMS;
Keywords:
object orientation; inheritance; process; object life cycle; process algebra; Petri nets; free-choice Petri nets; reuse;
Tipo documento:
Article
Natura:
Periodico
Settore Disciplinare:
Engineering, Computing & Technology
Citazioni:
75
Recensione:
Indirizzi per estratti:
Indirizzo: Basten, T Eindhoven Univ Technol, Dept Elect Engn, POB 513, NL-5600 MB Eindhoven, Netherlands Eindhoven Univ Technol POB 513 Eindhoven Netherlands NL-5600 MB
Citazione:
T. Basten e W.M.P. van der Aalst, "Inheritance of behavior", J LOGIC ALG, 47(2), 2001, pp. 47-145

Abstract

One of the key issues of object-oriented modeling and design is inheritance. It allows for the definition of subclasses that inherit features of somesuperclass. Inheritance is well defined for static properties of classes such as attributes and methods. However, there is no general agreement on the meaning of inheritance when considering the dynamic behavior of objects, captured by their life cycles. This paper studies inheritance of behavior both in a simple process-algebraic setting and in a Petri-net framework. Process algebra is chosen, because it concentrates on behavior, while abstracting from the internal states of processes. The result of the algebraic study is a clear conceptual understanding of inheritance of behavior. It can beexpressed in terms of blocking and hiding method calls. The results in thealgebraic framework inspire the development of the concept of inheritance of behavior in the Petri-net framework. The Petri-net formalism allows for a graphical representation of life cycles of objects with an explicit representation of object states. In the Petri-net framework, four inheritance rules are defined that can be used to construct life cycles of subclasses from the object life cycles of given (super-)classes. These inheritance rules can be used to structure a design process and they stimulate the reuse of life-cycle specifications. It turns out that the combination of blocking andhiding method calls captures a number of important operators for constructing life cycles of subclasses from life cycles of superclasses, namely choice, sequential composition, parallel composition, and iteration. A small case study validates our approach to inheritance of behavior. (C) 2001 Elsevier Science Inc. All rights reserved.

ASDD Area Sistemi Dipartimentali e Documentali, Università di Bologna, Catalogo delle riviste ed altri periodici
Documento generato il 02/04/20 alle ore 18:57:23