Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Computational category theory
Category theory for computing science
Category theory for computing science
Constraint diagrams: visualizing invariants in object-oriented models
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Towards a compositional interpretation of object diagrams
Proceedings of the IFIP TC 2 WG 2.1 international workshop on Algorithmic languages and calculi
The next 700 programming languages
Communications of the ACM
A Theory of Objects
FASE '99 Proceedings of the Second Internationsl Conference on Fundamental Approaches to Software Engineering
The Structure and Semantics of Actor Languages
Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages
A Categorial Theory of Objects as Observed Processes
Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages
Reasoning with UML Class Diagrams
WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Foundations of the unified modeling language
2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods
A semantics for object-oriented systems
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Hi-index | 0.00 |
This paper proposes a new calculus for expressing the behaviour of object-oriented systems. The semantics of the calculus is given in terms of operators from computational category theory. The calculus aims to span the gulf between abstract specification and concrete implementation of object-oriented systems using mathematically verifiable properties and transformations. The calculus is compositional and can be used to express the behaviour of partial system views. The calculus is used to specify, analyse and refine a simple case study.