A denotational semantics of timed RSL using duration calculus

L. Li; J. He

A denotational semantics of timed RSL using duration calculus

L. Li^*
, J. He

^*此作品的通讯作者

United Nations University Institute in Macau

科研成果: 期刊稿件 › 文章 › 同行评审

1 引用（Scopus）

摘要

This paper provides a denotational semantics to a subset of Timed RAISE Specification Language (RSL) using Extended Duration Calculus (EDC) model. It adds some novel features into the EDC model and explore their algebraic laws which play the vital role in formalising real-time programs and verification of real-time properties. Some algebraic laws of Timed RSL are presented, which can be proved from the denotational semantics, and be used in program transformation and optimization.

源语言	英语
页（从-至）	802-815
页数	14
期刊	Ruan Jian Xue Bao/Journal of Software
卷	12
期	6
出版状态	已出版 - 2001
已对外发布	是

其它文件与链接

链接到 Scopus 的出版物

引用此

@article{9a30337ad69c454eb6b1546307d6f60a,

title = "A denotational semantics of timed RSL using duration calculus",

abstract = "This paper provides a denotational semantics to a subset of Timed RAISE Specification Language (RSL) using Extended Duration Calculus (EDC) model. It adds some novel features into the EDC model and explore their algebraic laws which play the vital role in formalising real-time programs and verification of real-time properties. Some algebraic laws of Timed RSL are presented, which can be proved from the denotational semantics, and be used in program transformation and optimization.",

keywords = "Denotational semantics, Duration calculus, RAISE specification language, Real-time system",

author = "L. Li and J. He",

year = "2001",

language = "英语",

volume = "12",

pages = "802--815",

journal = "Ruan Jian Xue Bao/Journal of Software",

issn = "1000-9825",

publisher = "Chinese Academy of Sciences",

number = "6",

}

TY - JOUR

T1 - A denotational semantics of timed RSL using duration calculus

AU - Li, L.

AU - He, J.

PY - 2001

Y1 - 2001

N2 - This paper provides a denotational semantics to a subset of Timed RAISE Specification Language (RSL) using Extended Duration Calculus (EDC) model. It adds some novel features into the EDC model and explore their algebraic laws which play the vital role in formalising real-time programs and verification of real-time properties. Some algebraic laws of Timed RSL are presented, which can be proved from the denotational semantics, and be used in program transformation and optimization.

AB - This paper provides a denotational semantics to a subset of Timed RAISE Specification Language (RSL) using Extended Duration Calculus (EDC) model. It adds some novel features into the EDC model and explore their algebraic laws which play the vital role in formalising real-time programs and verification of real-time properties. Some algebraic laws of Timed RSL are presented, which can be proved from the denotational semantics, and be used in program transformation and optimization.

KW - Denotational semantics

KW - Duration calculus

KW - RAISE specification language

KW - Real-time system

UR - https://www.scopus.com/pages/publications/0034915858

M3 - 文章

AN - SCOPUS:0034915858

SN - 1000-9825

VL - 12

SP - 802

EP - 815

JO - Ruan Jian Xue Bao/Journal of Software

JF - Ruan Jian Xue Bao/Journal of Software

IS - 6

ER -

A denotational semantics of timed RSL using duration calculus

摘要

其它文件与链接

指纹

引用此