BibTeX
@TECHREPORT{Clark99asemantic,
author = {Tony Clark},
title = {A Semantic Framework for Object-Oriented Development},
institution = {},
year = {1999}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
A categorical model of object-oriented systems is proposed and denoted using a -calculus. The model is used to provide a definition of design refinement. An example system is rigorously developed in Java from an initial user requirements by refining an initial design. Contents 1 Introduction 1 2 Object-Oriented Design Features 2 3 Object Behaviour 3 3.1 Object States . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 3.2 Object Calculation Graphs . . . . . . . . . . . . . . . . . . . . . 4 3.3 Object-Oriented Designs . . . . . . . . . . . . . . . . . . . . . . . 6 3.4 Object Semantics . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 3.5 Behaviour Refinement . . . . . . . . . . . . . . . . . . . . . . . . 7 4 Object-Oriented Design Notation 8 4.1 Behaviour Functions . . . . . . . . . . . . . . . . . . . . . . . . . 9 4.2 Example Behaviour Functions . . . . . . . . . . . . . . . . . . . . 10 4.3 Message Handling . . . . . . . . . . . . . . . . . . . . . . . . . . 11 ...
