Formalising Object-Oriented Analysis

Dafydd Rees

(University of Wales Swansea)

Many existing object oriented methods utilise informal graphical notations to document analysis artifacts. We will present a technique for developing models of those entities and services that are documented during the process of object oriented analysis. In particular, our techniques allow the construction of well-defined mathematical models. Since our techniques are based on the specification of concrete algebras, our models require only the following basic mathematical concepts: sets, constants and functions. We believe that the well-defined, uniform nature of our models leads to better dependency management and easier refactoring. Although no tools exist at present to support these techniques, we will discuss proposals for dependency analysis and model simulation tools.
Thursday 22nd April 1999, 15:00
Seminar Room 322
Department of Computer Science