Title :
Object-oriented knowware programming and its abstract inheritance semantics
Author_Institution :
Acad. of Math. & Syst. Sci., Chinese Acad. of Sci., Beijing, China
Abstract :
This paper reviews the basic concepts of knowware engineering and proposes a methodology of object-oriented knowware analysis. Also a preliminary framework of abstract semantics for knowware programming is studied. We propose the technique of symbolic generator and symbolic inheritance to implement the abstract interpretation of class methods and class inheritance when concrete and abstract objects and classes both exist.
Keywords :
inheritance; object-oriented programming; abstract inheritance semantics; object-oriented knowware analysis; object-oriented knowware programming; symbolic generator; symbolic inheritance; Concrete; Generators; Middleware; Programming; Semantics; Software; Software engineering; abstract semantics; formal semantics; knowware engineering; object-oriented knowware analysis; object-oriented knowware programming; symbolic generator; symbolic inheritance;
Conference_Titel :
Intelligent Systems and Knowledge Engineering (ISKE), 2010 International Conference on
Conference_Location :
Hangzhou
Print_ISBN :
978-1-4244-6791-4
DOI :
10.1109/ISKE.2010.5680782
