Unifying functional, object-oriented and relational programming with logical semantics
Research directions in object-oriented programming
Contracts: specifying behavioral compositions in object-oriented systems
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Object-oriented software engineering
Object-oriented software engineering
Handbook of theoretical computer science (vol. B)
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Object-oriented development: the fusion method
Object-oriented development: the fusion method
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Object-oriented software composition
Object-oriented software composition
Subjectivity in object-oriented systems
OOPSLA '94 Addendum to the proceedings on Object-oriented programming systems, languages, and applications (Addendum)
Extending fusion: practical rigor and refinement
Object-oriented development at work
Formal Reasoning about Modules, Reuse and their Correctness
FAPR '96 Proceedings of the International Conference on Formal and Applied Practical Reasoning
On Specification Frameworks and Deductive Synthesis of Logic Programs
LOPSTR '94/META '94 Proceedings of the 4th International Workshops on Logic Programming Synthesis and Transformation - Meta-Programming in Logic
Towards an Object-Oriented Methodology for Deductive Synthesis of Logic Programs
LOPSTR '95 Proceedings of the 5th International Workshop on Logic Programming Synthesis and Transformation
OOD Frameworks in Component-Based Software - Development in Computational Logic
LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation
Graphic Language for Describing Constraints on Diagrams of UML Classes
Programming and Computing Software
Hi-index | 0.00 |
In OO Design, it is widely recognised that the distribution of tasks between objects and the contracts between them are key to effective design. In composing designs from reusable parts, the parts are therefore frameworks, namely descriptions of the interactive relationships between objects which participate in the interactions. Designs are then built by composing these frameworks, and any object in the final design will play (various) roles from several frameworks. Practitioners of OO Design use pictorial notations for design. However, in order to reason formally about design, we need a sound (formal) semantics for the diagrams. In this paper, we show that frameworks can be formalised as many-sorted theories, and then present a pictorial representation of such theories, developed in the Catalysis project.