使用延时演算的时间化RSL的指称语义

摘要：

使用扩展的持续时间演算(EDC)模型,给出了时间化的RAISE描述语言(RSL)的一个子集的指称语义.在扩展的持续时间演算模型中加入了一些新的特征,并探究了它们的代数定律.这些定律在形式化实时程序和验证实时性质中起着重要作用.最后还给出了时间化RSL的一些代数定律.这些定律可以从其指称语义证明,并用于程序的转化和优化.

关键词：延时演算、RAISE描述语言、指称语义、实时系统

所属期刊栏目：12

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金69773025

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共14页

页码：802-815