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
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;
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
DOI :
10.1109/ICSMC.1993.384960