• 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