DocumentCode
1944645
Title
Object-oriented knowware programming and its abstract inheritance semantics
Author
Lu, Ruqian
Author_Institution
Acad. of Math. & Syst. Sci., Chinese Acad. of Sci., Beijing, China
fYear
2010
fDate
15-16 Nov. 2010
Firstpage
1
Lastpage
4
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Intelligent Systems and Knowledge Engineering (ISKE), 2010 International Conference on
Conference_Location
Hangzhou
Print_ISBN
978-1-4244-6791-4
Type
conf
DOI
10.1109/ISKE.2010.5680782
Filename
5680782
Link To Document