DocumentCode :
289799
Title :
Class orientation and inheritance in modular algebraic nets
Author :
Battiston, Eugenio ; De Cindio, Fiorella
Author_Institution :
Dipartimento di Sci. dell´´Inf., Milan Univ., Italy
fYear :
1993
fDate :
17-20 Oct 1993
Firstpage :
717
Abstract :
We firstly summarize the motivations for combining algebraic nets and the object-oriented approach and then we sketch a syntactic notation called CLOWN (class orientation with nets), whose semantic model is OBJSA nets, i.e., the modular algebraic nets we have developed since some years. Indeed, we believe that it is worth presenting CLOWN because of its net-based notion of (single) inheritance, that we hope can contribute to develop a notion of inheritance adequate for concurrent object-oriented systems, a matter which is still argument of lively discussions
Keywords :
algebraic specification; inheritance; object-oriented languages; semantic networks; specification languages; CLOWN; OBJSA nets; class orientation; inheritance; modular algebraic nets; object-oriented approach; semantic model; single inheritance; syntactic notation; Accidents; Carbon capture and storage; Concurrent computing; Formal specifications; Mathematics; Natural languages; Object oriented modeling; Petri nets; Proposals; Specification languages;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Systems, Man and Cybernetics, 1993. 'Systems Engineering in the Service of Humans', Conference Proceedings., International Conference on
Conference_Location :
Le Touquet
Print_ISBN :
0-7803-0911-1
Type :
conf
DOI :
10.1109/ICSMC.1993.384960
Filename :
384960
Link To Document :
بازگشت