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

来源 :软件学报 | 被引量 : 0次 | 上传用户：lijingbo1985

【摘要】

：

使用扩展的持续时间演算(EDC)模型,给出了时间化的RAISE描述语言(RSL)的一个子集的指称语义.在扩展的持续时间演算模型中加入了一些新的特征,并探究了它们的代数定律.这些定

【作者】

：

李黎何积丰

【机构】

：

澳门联合国大学国际软件技术研究所,华东师范学院

【出处】

：

软件学报

【发表日期】

：

2001年6期

【关键词】

：

延时演算指称语义实时系统 RSL语言代数定律时间化 Algebra Differentiation (calculus) Mathematical mo

【基金项目】

：

国家自然科学基金

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

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

其他文献

网络环境下物理自主学习的探究

自主学习是以人本主义心理学为基础发展起来的现代学习理论,对于当前创新教育和素质教育的实施都有重要意义.本文就网络环境下物理学科自主学习的特点,自主学习方式,以及开展

期刊

网络环境物理自主学习心理学课题探究社会考察设计制作

一种CIM集成基础结构的设计与实现

在计算机集成制造系统中，CIM（computer integratedmanufacturing）集成基础结构是最主要的支撑环境之一．介绍了由哈尔滨工业大学设计和开发的开放式CIM集成基础结构——HIT－IIS．2．该

期刊

计算机集成制造CIMHIT-ⅡS.2集成基础结构分布式处理系统Distributed computer systemsInterfaces (com

如何从气体分子最可几率分布论证混乱度和熵增加

混乱度与熵和其他热力学性质一样,具有统计性,它表明大量分子体系的平均性质,本文从分子的扩散运动引出混乱度的概念,并说明为什么系统总是倾向于混乱度最大状态,熵值增加的

期刊

气体分子几率分布混乱度熵增加

综合集成研讨厅的软件体系结构

主要研究基于网络的分布式综合集成研讨厅的软件体系结构，采用了一种扩展请求器，中介器-供应器的嵌套式客户/Agent/服务器计算模式，并利用该模式给出了一个基于Java的智能信息Ag

期刊

综合集成研讨厅软件体系结构智能信息计算机网络AGENT分布式资源集成intelligent information agent hall for

一种入侵容忍的CA方案

CA（certificate authority)是PKI的关键设施，CA的私有密钥一旦泄露，该CA签发的所有证书就只能全部作废，保护在线服务CA的私钥也就成为一个非常重要的课题，不是从保护系统或检测入

期刊

入侵容忍弹性CA数字签名RSA公开密钥密码算法信息安全intrusion tolerant resilience CA (certificat

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

其他学术论文