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.
【References】
Chinese Journal Full-text Database 9 Hits
1 YU Fan hua,FU Miao miao,WANG Sheng feng (The Institute of Information & Technology Changchun Teachers College,Changchun 130032,China);How to Reallize Fast and Dynamic Bind in Use of Method Name in Orient Language[J];Journal of Changchun Teachers College;2002-05
2 LIU Zhi-Feng JU Shi-Guang WANG Chang-Da ZHOU Cong-Hua (School of Computer Science and Telecommunication Engineering,Jiangsu University,Jiangsu Zhenjiang 212013);On the Principle of Information Transfer in Covert Channel[J];Computer Science;2007-10
3 Feng Yulin; Huang Tao and Wu Xiaopeng(Laboratory of Computer Science, Instute of Sofware, The Vhinese Academy of Sciences:Beijing 100080);RESEARCH ON COMPONENT SOFTWARE ENGINEERING IN OBJECT ORIENTATION[J];CHINESE JOURNAL OF COMPUTERS;1996-03
4 LIU Zhi-feng,JU Shi-guang,LI Pei(School of Computer Science & Telecommunication Engineering,Jiangsu University,Zhenjiang Jiangsu 212013,China);Analysis of covert channels in disk arm based on operational semantics[J];Application Research of Computers;2007-11
5 Zhao Ke;Ye Shanghui (Xi'an University of Eleetroronic Seience and Technology, Xi'an 710071);A Resource Model for Object-Oriented Design Knowledge Representation[J];MECHANICAL SCIENCE AND TECHNOLOGY;1995-04
6 Cao Chun (Office of Education Northwest China Institute for Nationalities, Lanzhou 730030);Algebraic semantics and inheritance of an abstract class with trace[J];JOURNAL OF LANZHOU RAILWAY INSTITUTE;1999-02
7 HUANG Tao; QIAN Jun; NI Bin (Laboratory of Computer Science Institute of Software The Chinese Academy of Sciences Beijing 100080) (Object Technology Center Institute of Software The Chinese Academp of Sciences Beijing 100080);Trace Calculus[J];JOURNAL OF SOFTWARE;1999-08
8 DAI Mei1, SUN Guo-qiang1, LIU Zhi-feng2 (1. School of Computer and Electical Engineering, University of Shanghai for Science and Technology, Shanghai 200093, China; 2.School of Computer Science And Telecommunication Engineering, Jiangsu University, Zhenjiang 212013, China);Analysis of covert timing channels based on operational semantics[J];Computer Engineering and Design;2009-07
9 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);A Tentaitive Approach of Picto-Object Semantic's Model Based on Algebraic -Temporal Logic[J];Mini-micro Systems;2002-07
【Citations】
Chinese Journal Full-text Database 1 Hits
1 Feng Yulin(Institute of Software, Academta Sinica, Beijing 100080);ALGEBRAIC SPECIFICATION AND BEHAVIOUR CONSTRAINTS OF ABSTRACT OBJECT[J];Chinese Journal of Computers;1992-12
【Co-citations】
Chinese Journal Full-text Database 1 Hits
1 Cao Chun (Office of Education Northwest China Institute for Nationalities, Lanzhou 730030);Algebraic semantics and inheritance of an abstract class with trace[J];JOURNAL OF LANZHOU RAILWAY INSTITUTE;1999-02
【Co-references】
Chinese Journal Full-text Database 10 Hits
1 Yang Li (Institute of Software, Academia Sinica, Beijing, 100080);On the Algebraic Model of Object-Oriented Database Systems[J];JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT;1994-01
2 Ni Nan; Wu Qiaoquan; and Zhang Defu(Dept. of Computer Science, Nanjing University, 210008);^Paradigm of Distributed and Parallel Programming[J];JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT;1994-02
3 Li Jing (University of Science and Technology of China, Hefty 230027) Ni Bin and Feng Yulin (Institute of Software, Chinese Academy of Sciences, Beijing 100080);THE DESIGN AND IMPLEMENTATION OF AN OBJECT SEMANTICS CONSTRAINT CHECKER[J];JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT;1996-08
4 WANG Chang-Da;JU Shi-Guang;YANG Zhen;GUO Dian-Chun School of Computer Science and Telecommunications, Jiangsu University1, Zhengjiang, Jiangsu 212013 School of Computer Science, Carleton University2, Ottawa, Ontario, Canada K1S 5B6;The Minimum Criteria of Covert Channels' Existence and its Application[J];Computer Science;2005-01
5 Feng Yulin(Institute of Software, Academta Sinica, Beijing 100080);ALGEBRAIC SPECIFICATION AND BEHAVIOUR CONSTRAINTS OF ABSTRACT OBJECT[J];Chinese Journal of Computers;1992-12
6 WANG Chang-da, JU Shi-guang (School of Computer Science and Telecommunication Engineering, Jiangsu University, Zhenjiang, Jiangsu 212013, China);BLP model and its evolution[J];Journal of Jiangsu University (National Science Edition);2004-01
7 LIU Zhi-feng,JU Shi-guang,LI Pei(School of Computer Science & Telecommunication Engineering,Jiangsu University,Zhenjiang Jiangsu 212013,China);Analysis of covert channels in disk arm based on operational semantics[J];Application Research of Computers;2007-11
8 WANG Xian-dong;AUTOMATA AND THEIR ALGEBRAIC SPECIFICATION DESCRIPTION[J];JOURNAL OF QINGDAO UNIVERSITY(NATVRAL SCIENCE);2000-01
9 HUANG Tao; QIAN Jun; NI Bin (Laboratory of Computer Science Institute of Software The Chinese Academy of Sciences Beijing 100080) (Object Technology Center Institute of Software The Chinese Academp of Sciences Beijing 100080);Trace Calculus[J];JOURNAL OF SOFTWARE;1999-08
10 HUANG Tao\ QIAN Jun\ ZHOU Huan(Laboratory of Computer Science\ Institute of Software\ The Chinese Academy of Sciences\ Beijing\ 100080) (Object Technology Center\ Institute of Software\ The Chinese Academy of Sciences Beijing\ 100080);Object Calculus Ⅰ[J];JOURNAL OF SOFTWARE;1999-09
【Secondary References】
Chinese Journal Full-text Database 10 Hits
1 CAI Zhi ming,LIU Zong tian(Department of Computer and Information,Hefei University of Technology,Hefei 230009,China);A Model to Support the Component Reuse on the Web[J];ACTA ELECTRONICA SINICA;2000-03
2 Pang Jianxiong Gu Tianlong Miao Yuqing (Dept.of Electronic Computer);Finding the Design Phylosophy of System STATEMATE[J];JOURNAL OF GUILIN INSTITUTE OF ELECTRONIC TECHNOLOGY;1997-01
3 By GONG Bao jun, WANG Shu qing(National Lab of Industral Control Technology,Zhejiang University,Hangzhou 310027,China);The Study of Management and Organization of Software Development[J];JOURNAL OF INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT;2000-04
4 LI Kai,ZHAO Ke,RONG Zheng(College of Mechanics&Electrical Engineering, XiDian University, Xi′an 710071,China);Study and Design of a Intelligence Answer Expert System Face To Student[J];Aeronautical Computer Technique;2002-02
5 CHEN Zhoujuan (Mech-electrical Department of Yuncheng University,Yuncheng Shanxi 044000,China);Design and Implementation of an Intelligent Teaching Expert System Based on Web[J];Machine Tool & Hydraulics;2008-07
6 Sui Aina 1,2 , Wu Wei1, Chen Xiaowu1, and Zhao Qinping1 1 (School of Computer Science and Technology, Beihang University, Beijing 100083) 2 (Computer & Software School, Communication University of China, Beijing 100024);A Assembly Constraint Semantic Model in Distributed Virtual Environment[J];Journal of Computer Research and Development;2006-03
7 Jin Xueyun 1 Xu Weidong 2 Liu Hongwei 31 (Beijing University of Technology,Beijing100022) 2 (Beijing Sino-Edify Digital Technology Co.Ltd,Beijing100080) 3 (Beijing Broadcast Institute,Beijing100024);Design Method of Code Generator Based on .Net System[J];Computer Engineering and Applications;2004-21
8 PENG Zhi ping,LI Shao ping (Department of Computer Science and Technology,Maoming College,Maoming 525000,China)Department of Computer Science and Technology, Maoming College, Maoming, Guangdong 525000, P.R.China;Agent-Oriented and Object-Oriented Software Techniques[J];Computer Engineering & Science;2005-03
9 Qiu Qiang Yang Hua Feng Yucai (Huazhong University of Science and Technolony,Wuhan,430074);Study and Implementation of a Visual 119 Fire CAI Presentation Developing Platform[J];Computer & Digital Engineering;1999-06
10 Zhao Ke Ye Shanghui (Xi′an University of Electronic Science and Technology Xi′an 710071);Study on Recusive Model for the Design Process[J];MECHANICAL SCIENCE AND TECHNOLOGY;1996-04
【Secondary Citations】
Chinese Journal Full-text Database 1 Hits
1 Feng Yulin, Zhao Xudong and Guo Duanyang(University of Science and Technology of China);AUTOMATIC VERIFICATION OF CONCURRENT SYSTEMS USING TEMPORAL LOGIC[J];Chinese Journal of Computers;1990-02
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved