Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
《JOURNAL OF SOFTWARE》 1999-09
Add to Favorite Get Latest Update

Object Calculus Ⅰ

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)  
An object based logic calculus is outlined in this paper, which is built on the trace calculus based on dynamic entities with local states. Compared with dynamic entities, objects have more good properties, such as encapsulation. To formalize the concept of encapsulation, a new concept of valid action is introduced. It is only through these valid actions declared by the very object that the state of the object can be accessed or modified. An axiomatization of the object calculus as an extension of the axiom system of the trace calculus is also contributed in this paper. Finally, the object semantics description and property deduction are shown.
【Fund】: 国家自然科学基金;;国家863 高科技项目基金
【CateGory Index】: TP301.6
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 QIAN Jun,\ HUANG Tao,\ FENG Yu lin(Laboratory of Computer Science, Institute of Software, The Chinese Academy of Sciences, Beijing 100080, China); (Object Technology Center, Institute of Software, The Chinese Academy of Sciences, Beijing 100080, China);Composition and Interactive Computation of Object Systems[J];Journal of Software;2001-09
2 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 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
【Co-citations】
Chinese Journal Full-text Database 2 Hits
1 HUANG Tao\ QIAN Jun\ WANG Xu(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
2 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
【Co-references】
Chinese Journal Full-text Database 9 Hits
1 XU Rui xin, ZHU Cheng yu (Changchun Institute of Optics, Fine Mechanics and Physics, Chinese Academy of Sciences, Changchun 130021, China);New way of software engineering—object oriented method[J];Optics and Precision Engineering;2000-06
2 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
3 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
4 HUANG Tao\ QIAN Jun\ WANG Xu(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
5 JIANG Hui, LIN Dong, XIE Xi-ren(Department of Computer, PLA University of Science and Technology, Nanjing 210007, China); (Division of Strategy, Defense University, Beijing 100091, China);The Formal Semantics of UML State Machine[J];Journal of Software;2002-12
6 Tang Zhisong and Zhao Chen (Institute of Software, The Chinese Acadmy of Sciences, Baijing 100080);A TEMPORAL LOGIC LANGUAGE ORIENTED TOWARD SOFTWARE ENGINEERING[J];JOURNAL OF SOFTWARE;1994-12
7 Huang Tao Feng Yulin Ni Bin (Laboratory of Computer Science Institute of Sofware The Chinese Academy of Sciences Beijing 100080) Li Jing (Department of Computer Science University of Science and Technology of China Hefei 230027);OBJECT DESCRIPTION LANGUAGE AND ITS DENOTATIONAL SEMANTICS[J];JOURNAL OF SOFTWARE;1996-10
8 XUE Jinyun\ WU Yunfeng\ WAN Jianyi(Computer Software Institute\ Jiangxi Normal University\ Nanchang\ 330027);ITERATORS AND ITS APPLICATION IN REUSABLE SOFTWARE STUDY[J];JOURNAL OF SOFTWARE;1997-02
9 PENG Lu HU Yue ming (Department of Computer Science & Engineering, Shanghai JiaoTong University Shanghai 200030);AN INTELLIGENT SEMANTICS COMPREHENSION SYSTEM BASED ON INTENSIONAL LOGIC[J];Mini-micro Systems;2001-02
【Secondary Citations】
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 Huang Tao Feng Yulin Ni Bin (Laboratory of Computer Science Institute of Sofware The Chinese Academy of Sciences Beijing 100080) Li Jing (Department of Computer Science University of Science and Technology of China Hefei 230027);OBJECT DESCRIPTION LANGUAGE AND ITS DENOTATIONAL SEMANTICS[J];JOURNAL OF SOFTWARE;1996-10
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved