Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
《Chinese Journal of Computers》 1993-11
Add to Favorite Get Latest Update

OBJECT SEMANTICS THEORY AND CONSTRAINTS REASONING

Feng Yulin,Li Jing and Huang TaoInstitute of Software,Academia Sinica,Beijing 100080  
This paper contributes to establish an object semantics theory based on temporal model.Every object is considered as a set of events,attributes and all possible traces.Some concepts such as object inheritance and object composition etc.,could be interpreted semantically in the model.An object type is defined as a class of objects satisfying a set of invariant constraints ,i.e.,state constraints for object attributes and temporal constraints for object traces.A non trivial example is given to illustrate how to reason about these object constraints.
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved