Correct OO 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:

Object Oriented Design Frameworks (OOD frameworks) are groups of
interacting objects. We have formalised them in computational
logic as open systems of interacting objects. Our formalisation is based on 
steadfast logic programs in the context of open specification
frameworks. However, we have considered only the static aspects,
namely the specification of constraints and the correctness of queries 
(programs that do not update the current state).
In this paper we extend this static model, by introducing actions 
that update the current state.