Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
SADT: structured analysis and design technique
SADT: structured analysis and design technique
Inheritance as an incremental modification mechanism or what like is and isn'tlike
on ECOOP '88 (European Conference on Object-Oriented Programming)
OBJSA nets: a class of high-level nets having objects as domains
Advances in Petri Nets 1988
Issues in the design of a parallel object-oriented language
Formal Aspects of Computing
Petri nets and algebraic specifications
Theoretical Computer Science
Hierarchies in Coloured Petri Nets
APN 90 Proceedings on Advances in Petri nets 1990
A state transformation preorder over a class of EN systems
APN 90 Proceedings on Advances in Petri nets 1990
Object-oriented analysis (2nd ed.)
Object-oriented analysis (2nd ed.)
Designing object-oriented software
Designing object-oriented software
Object-oriented system development
Object-oriented system development
Specifications and their use in defining subtypes
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Regular types for active objects
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Research directions in concurrent object-oriented programming
Research directions in concurrent object-oriented programming
Analysis of inheritance anomaly in object-oriented concurrent programming languages
Research directions in concurrent object-oriented programming
A logical theory of concurrent objects and its realization in the Maude language
Research directions in concurrent object-oriented programming
The Sather programming language
Dr. Dobb's Journal
Modular Algebraic Nets to Specify Concurrent Systems
IEEE Transactions on Software Engineering
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Concepts and paradigms of object-oriented programming
ACM SIGPLAN OOPS Messenger
Smalltalk-80: The Language
Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications
IEEE Transactions on Computers
ECOOP '91 Proceedings of the European Conference on Object-Oriented Programming
Solving the Inheritance Anomaly in Concurrent Object-Oriented Programming
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
A New Definition of the Subtype Relation
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Real-Time Specification Inheritance Anomalies and Real-Time Filters
ECOOP '94 Proceedings of the 8th European Conference on Object-Oriented Programming
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
The Consistent Use of Names and Polymorphism in the Definition of Object Petri Nets
Proceedings of the 17th International Conference on Application and Theory of Petri Nets
{SC}*ECS: A Class of Modular and Hierarchical Cooperating Systems
Proceedings of the 17th International Conference on Application and Theory of Petri Nets
A survey of equivalence notions for net based systems
Advances in Petri Nets 1992, The DEMON Project
The box calculus: a new causal algebra with multi-label communication
Advances in Petri Nets 1992, The DEMON Project
A survey of basic net models and modular net classes
Advances in Petri Nets 1992, The DEMON Project
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
OB(PN)^2: An Object Based Petri Net Programming Notation
OB(PN)^2: An Object Based Petri Net Programming Notation
On Processes of Object Petri Nets
On Processes of Object Petri Nets
Simula Begin
Hi-index | 0.00 |
Petri nets have been considered among the variety of formalisms and theories taken into account for giving a sound semantic basis to (concurrent) object-oriented systems and languages. Pursuing this research direction, we have defined a formalism called CLOWN (CLass Orientation With Nets) and discussed on it many object-oriented concepts, with special regards to a netbased notion of inheritance. This paper presents the insights about the principles and the open problems of object-orientation that we derived by modelling in CLOWN a number of small to medium case studies. The current results suggest, as promising future efforts, the tighter integration with object-oriented analysis and design methodologies, especially aimed at the Smalltalk language.