%0 Journal Article
%T A Denotational Semantics of Timed RSL Using Duration Calculus<br>使用延时演算的时间化RSL的指称语义
%A LI Li
%A HE Ji-feng
%A <br>李黎
%A 何积丰
%J 软件学报
%D 2001
%I 
%X 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.
%K duration calculus
%K RAISE specification language
%K denotational semantics
%K real time system<br>延时演算
%K RAISE描述语言
%K 指称语义
%K 实时系统
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=A1C3FCFAEF38F913&yid=14E7EF987E4155E6&vid=59906B3B2830C2C5&iid=B31275AF3241DB2D&sid=4AB2A4AB67F2B16E&eid=07C52AC66061533A&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=20