Results 1 
4 of
4
A Semantics for ObjectOriented Design Notations
 the BCS FACS Journal
, 1999
"... Current graphical objectoriented design notations are syntaxbound and semanticfree since they tend to focus on design representation rather than on the meaning of the design. This paper proposes a meaning for objectoriented designs in terms of object behaviours represented as constructions i ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
(Show Context)
Current graphical objectoriented design notations are syntaxbound and semanticfree since they tend to focus on design representation rather than on the meaning of the design. This paper proposes a meaning for objectoriented designs in terms of object behaviours represented as constructions in category theory. A new design language is proposed, based on notation, whose semantics is given by object behaviours. An example application is constructed as both a graphical design and using the design language. Submitted to BCS FACS Journal January 1999. 1 Introduction Current objectoriented design notations such as OMT [Run91], Booch [Boo94] and UML [UML98] are syntaxbound and semanticfree in the sense that they typically employ a large and rigorously enforceable collection of construction rules, but rarely provide a model to explain what is being constructed. Whilst this omission clearly does not prevent such notations being used effectively in the development of objectorie...
A Semantic Framework for ObjectOriented Development
, 1999
"... A categorical model of objectoriented 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 ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
(Show Context)
A categorical model of objectoriented 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 ObjectOriented Design Features 2 3 Object Behaviour 3 3.1 Object States . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 3.2 Object Calculation Graphs . . . . . . . . . . . . . . . . . . . . . 4 3.3 ObjectOriented Designs . . . . . . . . . . . . . . . . . . . . . . . 6 3.4 Object Semantics . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 3.5 Behaviour Refinement . . . . . . . . . . . . . . . . . . . . . . . . 7 4 ObjectOriented Design Notation 8 4.1 Behaviour Functions . . . . . . . . . . . . . . . . . . . . . . . . . 9 4.2 Example Behaviour Functions . . . . . . . . . . . . . . . . . . . . 10 4.3 Message Handling . . . . . . . . . . . . . . . . . . . . . . . . . . 11 ...
Objectoriented refinement and proof using behaviour functions
 Proc. 3rd Workshop Rigorous ObjectOriented Methods
, 2000
"... This paper proposes a new calculus for expressing the behaviour of objectoriented 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 objectoriente ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
(Show Context)
This paper proposes a new calculus for expressing the behaviour of objectoriented 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 objectoriented 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. 1
Formal Refinement and Proof of a Small Java Program
"... . The main components of a formal technique for specifying, refining and proving properties of objectoriented programs are presented. The technique is based on a notation whose semantics is given using standard categorical constructs. An example of the formal development of a small Java progra ..."
Abstract
 Add to MetaCart
(Show Context)
. The main components of a formal technique for specifying, refining and proving properties of objectoriented programs are presented. The technique is based on a notation whose semantics is given using standard categorical constructs. An example of the formal development of a small Java program is presented. 1 Introduction The aim of this work is to provide a rigorous framework for stepwise objectoriented software development which supports specification, refinement, proof and implementation. The framework takes the form of a categorical semantics of objectoriented system behaviour and a design language based on notation. This paper gives an overview of the main components of the framework using a simple system requirements and producing a Java program. It is not possible to give a full analysis of the approach in a paper of this length, the reader is directed to work by the author in the area of OO systems: [Cla96] [Cla94] [Cla97], [Cla98], [Cla99a], [Cla99b] and [Cla99c] a...