This paper provides a denotational semantics to a subset of Timed RAISE Specification Language (RSL) using Extended Duration Calculus (EDC) model.

• 使用扩展的持续时间演算 ( EDC)模型 ；给出了时间化的 RAISE描述语言 ( RSL )的一个子集的指称语义 .