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

• 作者: 何积丰 李黎
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 延时演算 RAISE描述语言 指称语义 实时系统
• 年，卷（期）: 2001,（6）
• 页码范围: 802-815
• 页数: 14页
• 分类号: TP301
• 字数: 1988字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	何积丰		4	16	3.0	4.0
5	李黎		1	3	1.0	1.0