Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
《Mini-micro Systems》 2002-07
Add to Favorite Get Latest Update

A Tentaitive Approach of Picto-Object Semantic's Model Based on Algebraic -Temporal Logic

HU Jin zhu 1 SHU Zhong mei 2 1 (Department of Computer Science,Central China Normal University,Wuhan 430079, China) 2 (Department of Computer Science, Zhongshan University, Guangzhou 510275, China)  
In this paper,we combines Algebraic specification with Temporal Logical to do some trial research on the semantic of the Picto Object by use of OOCPN(Object Oriented Color Petri Net),on the basis of "Study of Picto Object Based on Algebraic Temporal Logic". The semantic model of the Picto Object are described ;Picto Object semantics interpreting structure and Picto Object semantic model structure are given;the state opertor and the operate oprator as well as Picto trace are defined. Then, we proposes inheritable attribute,inheritable operate, full inheritances concepts and part inheritaces concepts and aggregation class structure and classified aggregation class structure for the Picto Object. In the meanwhile, we gives the algebraic specification of the Picto Objects class type. Based on these theories,we proposes some axioms about Picto Objects semantic model,and illustrates Picto Objects inheritance,Picto Objects class structure and multi code semantics characteristics in OOCPN.
【Fund】: 湖北省自然科学基金项目
【CateGory Index】: TP311.5
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