Correct OO systems in computational logic

Kung Kiu Lau; Mario Ornaghi

Correct OO systems in computational logic

Kung Kiu Lau
, Mario Ornaghi

Research output: Chapter in Book/Conference proceeding › Conference contribution

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. © Springer-Verlag; 2004.

Original language	English
Title of host publication	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)\|Lect. Notes Comput. Sci.
Pages	34-53
Number of pages	19
Volume	3018
Publication status	Published - 2004

Cite this

@inproceedings{ecdb1f49801243fda16aae2068bb49fa,

title = "Correct OO systems in computational logic",

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. {\textcopyright} Springer-Verlag; 2004.",

author = "Lau, \{Kung Kiu\} and Mario Ornaghi",

year = "2004",

language = "English",

volume = "3018",

pages = "34--53",

booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.",

}

TY - GEN

T1 - Correct OO systems in computational logic

AU - Lau, Kung Kiu

AU - Ornaghi, Mario

PY - 2004

Y1 - 2004

N2 - 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. © Springer-Verlag; 2004.

AB - 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. © Springer-Verlag; 2004.

M3 - Conference contribution

VL - 3018

SP - 34

EP - 53

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)|Lect. Notes Comput. Sci.

ER -

Correct OO systems in computational logic

Abstract

Fingerprint

Cite this