Object-Oriented specification composition and refinement via category theoretic computations

Authors:
Yujun Zheng;Jinyun Xue;Weibo Liu
Affiliations:
Systems Engineering Institute of Engineer Equipment, Beijing, China;Institute of Software, Chinese Academy of Sciences, Beijing, China;Systems Engineering Institute of Engineer Equipment, Beijing, China
Venue:
TAMC'06 Proceedings of the Third international conference on Theory and Applications of Models of Computation
Year:
2006

Citing 11
Cited 1

The Z notation: a reference manual

The Z notation: a reference manual
Categories, types, and structures: an introduction to category theory for the working computer scientist

Categories, types, and structures: an introduction to category theory for the working computer scientist
Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
The B-book: assigning programs to meanings

The B-book: assigning programs to meanings
A Theory-Based Representation for Object-Oriented Domain Models

IEEE Transactions on Software Engineering
An Algebraic Theory of Object-Oriented Systems

IEEE Transactions on Knowledge and Data Engineering
Objects and their Specification

Selected papers from the 8th Workshop on Specification of Abstract Data Types Joint with the 3rd COMPASS Workshop on Recent Trends in Data Type Specification
Describing, Structuring and Implementing Objects

Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages
Teaching Formal Extensions of Informal-Based Object-Oriented Analysis Methodologies

Proceedings of the 7th SEI CSEE Conference on Software Engineering Education
Management of Evolving Specifications using Category Theory

ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
Elemental Design Patterns: A Formal Semantics for Composition of OO Software Architecture

SEW '02 Proceedings of the 27th Annual NASA Goddard Software Engineering Workshop (SEW-27'02)

From Mathematics to Software Engineering: Introducing Category Theory into the Computer Science Curriculum

ICCS '07 Proceedings of the 7th international conference on Computational Science, Part III: ICCS 2007

Quantified Score

Hi-index	0.00

Visualization

Abstract

Most of the existing formal object-oriented methods use classes or objects as the basic unit of design, and therefore lack a precise semantics for specifying high-granularity components. The paper presents a framework of categorical models that focus concern on the interactive relationships between objects, and that explicitly support specification composition and refinement at different levels of abstraction and granularity in object-oriented design. A case study of implementing templated design patterns demonstrates the ability of category theoretic computations to mechanize software development.