Number: CS 60/93
Author(s): MATSKIN, Mihhail, HAAV, Hele-Mai.
Title: An object-oriented environment based on multi-layer application design. 20 p.
Language: English
Keywords: Multi-layered design; incorporating logic into OO technology;
application evolution.
ABSTRACT. This paper considers both an object-oriented
multi-layered approach to application design as well as the
programming system which implements the methodology presented.
The layered approach was motivated by the need for providing
support for different kinds of knowledge representation in the
application design process and sharing the same object base
between software components using representation. The approach
presented is based on layered representation of application using
logic for description of application concepts on high level of
abstraction and incorporating these into an Object- Oriented (00)
environment.In addition to traditional levels of description in
OO systems two original layers are introduced: implicit class
description and metaspecification. These both are based on logic
but of different kind. The implicit class description uses
Intuitionistic Propositional Calculus and metaspecification
relies on Horn logic as underlaying fundamental framework. The
approach proposed is implemented in the NUT system.