Correct Object-Oriented Systems in Computational Logic

Kung-Kiu Lau
Department of Computer Science, University of Manchester,
Manchester M13 9PL, United Kingdom
kung-kiu@cs.man.ac.uk

Mario Ornaghi
Dipartimento di Scienze dell'Informazione,
Universita' degli studi di Milano,
Via Comelico 39/41, 20135 Milano, Italy
ornaghi@dsi.unimi.it

Abstract:
In our previous work in program development, we have defined
steadfastness, a notion of correctness that captures
at once modularity, correctness and  reusability.
This paper extends it to Object-Oriented Systems, namely systems of 
cooperating objects, and is a first step towards the introduction 
of correctness in Object-Oriented Design Frameworks. Such frameworks are
increasingly recognised as more reusable than single objects, and
promise to be useful components in next-generation Component-based
Software Development.