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

Trace Calculus

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)  
A trace-based logic language called Trace is defined in this paper, which is an extension of the first-order linear temporal logic and serves as cornerstone of the works-object calculus. The objects in trace cal-culus represent the dynamic entities endowed with a local state and external actions, and described by an object signature in syntax. An object signature is a 4-tuple Ω=(S,F,A,E), in which S stands for a set of data sorts,F functions, A attributes and E actions. ∑= (S,F) is nothing but a usual signature in the context of algebraic specification. It can be extended to ∑E with the action regarded as a special data sort. The semantics of trace calculus is defined by an object signature semantic interpreting structure, which consists of a ∑E-Algebra giving an interpretation about data parameters, a mapping evaluating the attributes on an ac-tion trace, and a relation e giving a relationship between actions and a trace. Finally, the authors contribute an axiom system of their trace calculus and outline its proof of soundness after defining the syntax and semantics of the trace calculus.
【Fund】: 国家自然科学基金;;国家863高科技项目基金
【CateGory Index】: TP311.5
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 3 Hits
1 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
2 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
3 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 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
【Co-citations】
Chinese Journal Full-text Database 4 Hits
1 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
2 SONG Yue; HAO Ke-gang; GE Wei (Department of Computer Science, Northwest University, Xi'an 710069, China);Using temporal logic to specify abstract object[J];;1999-06
3 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
4 JIANG Tao,ZHOU Hua,LIU Jian-hui(School of Software,Yunnan University,Kunming 650091,China);A algebra formal description method of Java's object-oriented semantics[J];Journal of Yunnan University(Natural Sciences Edition);2007-S2
【Co-references】
Chinese Journal Full-text Database 7 Hits
1 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
2 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
3 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
4 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
5 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
6 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
7 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 References】
Chinese Journal Full-text Database 3 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 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
3 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