两维时间域上的实时程序语义  

REAL TIME SEMANTICS OF PROGRAMS IN TWO DIMENSIONAL TIME SPACE

作　　者：裘宗燕[1] 

机构地区：[1]北京大学数学学院信息科学系,北京100871

出　　处：《计算机学报》1999年第9期958-962,共5页Chinese Journal of Computers

基　　金：国家自然科学基金

摘　　要：超稠密计算模型是实时系统的一种重要抽象模型．该文首先简要介绍一种两维的超稠密时间域及在该域上定义的一种区间逻辑，然后用一个并行模型语言（类Ｏｃｃａｍ 语言）讨论用这种逻辑定义并行语言（在超稠密模型中）的时间语义的问题。Super Dense computation model is an important model of real time systems. This paper first briefly introduces a two dimensional time space and a logic defined on it, then uses a parallel language (an Occam like language) to show how the definition of real time semantics of parallel languages can be given with the logic, where the super dense model is adopted. At last a discussion about the description of properties of real time systems within this semantic framework is given.

关 键 词：区间逻辑 两维时间 程序语义 实时系统 

分 类 号：TP316.2[自动化与计算机技术—计算机软件与理论]