Title :
ObjTrans: an intelligent tool for knowledge-object transformation
Author :
Park, Hyung-Sik ; Su, Yuh-Tsong
Author_Institution :
Dept. of Comput. Sci., Iowa Univ., Iowa City, IA, USA
Abstract :
A description is presented of a prototype called ObjTrans which was developed to automate the process of transforming the object structure of object-oriented logic programs called KOs. ObjTrans allows the user to abstract the specification of application KOs, perform a series of primitive operators on the abstracted specification interactively and heuristically, and incrementally reconstruct the specification of KOs resulting from object transformation. ObjTrans is implemented in Smalltalk/V-Prolog/V which does not allow multiple inheritance
Keywords :
formal specification; knowledge based systems; logic programming; object-oriented programming; software tools; KOs; ObjTrans; Smalltalk; V; V-Prolog; knowledge-object transformation; object-oriented logic programs; prototype; specification; Application software; Artificial intelligence; Cities and towns; Computer science; Connectors; Logic programming; Object oriented modeling; Prototypes; Software prototyping; Software systems;
Conference_Titel :
Tools for Artificial Intelligence, 1991. TAI '91., Third International Conference on
Conference_Location :
San Jose, CA
Print_ISBN :
0-8186-2300-4
DOI :
10.1109/TAI.1991.167120
