摘要
本文给出了一个面向对象的实时分布式语言的指称语义,在不同层次L给出了语句、对象和程序的清晰描述.提出了实时状态的概念.借助于它,在指称语义的框架内,简洁地刻画了语言的实时特性.
This paper gives a denotational semantics of an object-oriented distributed real-time language Mini CSP-R.At different layers,the semantics of statement,object and program are given concisely.By introducing real-time state,the real-time property of the language is described briefly in the frame of the denotational semantics.
出处
《软件学报》
EI
CSCD
北大核心
1996年第4期244-251,共8页
Journal of Software
关键词
实时
指称语义
面向对象
分布式语言
Object,real-time,distributed,parallel,denotational semantics.