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.
Correct OO Systems in Computational Logic / Kung-Kiu Lau, Mario Ornaghi - In: Logic Based Program Synthesis and Transformation : 13th International Symposium, LOPSTR 2003 : Uppsala, Sweden, August 25-27, 2003 : Revised Selected Papers / Maurice Bruynooghe. - Berlin : Springer Verlag, 2004. - ISBN 3540221743. - pp. 34-53 (( Intervento presentato al 13. convegno International Symposium on Logic Based Program Synthesis and Transformation: - LOPSTR 2003 tenutosi a Uppsala, Sweden nel 2003.
Correct OO Systems in Computational Logic
M. Ornaghi
2004
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.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
