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