Class orientation and inheritance in modular algebraic nets

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.<<ETX>>

[1]  Robert M. Shapiro,et al.  An integrated software development methodology based on hierarchical colored Petri Nets , 1990, Applications and Theory of Petri Nets.

[2]  Wolfgang Reisig,et al.  Petri Nets and Algebraic Specifications , 1991, Theor. Comput. Sci..

[3]  Wolfgang Reisig,et al.  Application and Theory of Petri Nets , 1982, Informatik-Fachberichte.

[4]  Carla Simone,et al.  A survey of equivalence notions for net based systems , 1992, Advances in Petri Nets: The DEMON Project.

[5]  Terry Winograd,et al.  Beyond programming languages , 1979, CACM.

[6]  Gul A. Agha,et al.  The Structure and Semantics of Actor Languages , 1990, REX Workshop.

[7]  Giorgio De Michelis,et al.  A State Transformation Equivalence for Concurrent Systems: Exhibited Functionality-equivalence , 1988, Concurrency.

[8]  Giancarlo Mauri,et al.  OBJSA Nets: a Class of High- level Nets Having Objects as Domains , 1987, European Workshop on Applications and Theory of Petri Nets.

[9]  Bertrand Meyer,et al.  Systematic concurrent object-oriented programming , 1993, CACM.

[10]  Alan Kay,et al.  Microelectronics and the Personal Computer , 1977 .

[11]  Carla Simone,et al.  A state transformation preorder over a class of EN systems , 1991, Applications and Theory of Petri Nets.

[12]  K. M. van Hee,et al.  Integration of a data model and high-level Petri nets , 1991 .

[13]  Giorgio De Michelis,et al.  GAMERU: A language for the analysis and design of human communication pragmatics within organizational systems , 1986, European Workshop on Applications and Theory of Petri Nets.

[14]  Kurt Jensen.  Coloured Petri nets: A high level language for system design and analysis , 1989, Applications and Theory of Petri Nets.

[15]  Charles Lakos,et al.  Modelling layered protocols in LOOPN , 1991, Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91.

[16]  Philippe A. Palanque,et al.  Petri net objects for the design, validation and prototyping of user-driven interfaces , 1990, INTERACT.

[17]  Laure Petrucci,et al.  Semantics, composition and net properties of algebraic high-level nets , 1990, Applications and Theory of Petri Nets.

[18]  Giorgio De Michelis,et al.  Superposed Automata Nets , 1980, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets.

[19]  Thomas E. Cheatham,et al.  Software Technology in the 1990's: Using a New Paradigm , 1983, Computer.

[20]  Gianna Reggio,et al.  An Qutline of the SMoLCS Approach , 1986, Mathematical Models for the Semantics of Parallelism.

[21]  Joost Engelfriet,et al.  Net-Based Description Of Parallel Object-Based Systems, or POTs and POPs , 1990, REX Workshop.