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

ALGEBRAIC SPECIFICATION AND BEHAVIOUR CONSTRAINTS OF ABSTRACT OBJECT

Feng Yulin(Institute of Software, Academta Sinica, Beijing 100080)  
This paper contributes to make connections between two kinds of semanticmodels for algebraic and temporal specifications. A class of structured partial algebras are used as Kripke models to interpret temporal modalities. It provides the possibility for reasoning about behaviour constraints of abstract objects.
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 2 Hits
1 Feng Yulin,Li Jing and Huang TaoInstitute of Software,Academia Sinica,Beijing 100080;OBJECT SEMANTICS THEORY AND CONSTRAINTS REASONING[J];Chinese Journal of Computers;1993-11
2 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
【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
【Co-citations】
Chinese Journal Full-text Database 3 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
2 Feng Yulin and Gui Ziqiang (University of Science and Technology of China ) Ding Maoshun (Software Institute, Academia Sinica );THE FORMAL TECHNIQUES FOR SYSTEM MODELING DEVELOPMENT[J];Journal of Software;1991-01
3 Li Zhongzhang Dept. of Comp., Wuhan University, Wuhan 430071, China Li Chuanxiang Wang Hanfei Dept. of Comp., Wuhan Inst, of Hydrulic & Electric Engineering, Wuhan, 430071, China;SOME PROBLEMS IN PARTIAL ABSTRACT DATA TYPE[J];数学物理学报(英文版);1992-03
【Co-references】
Chinese Journal Full-text Database 1 Hits
1 Feng Yulin,Li Jing and Huang TaoInstitute of Software,Academia Sinica,Beijing 100080;OBJECT SEMANTICS THEORY AND CONSTRAINTS REASONING[J];Chinese Journal of Computers;1993-11
【Secondary 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
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved