使用延时演算的时间化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

中国职协技校委员会第十次年会在上海召开

中国职协技校委员会于1998年11月4～6日在上海举行。中国职协副秘书长方辅珍参加了会议。上海市劳动和社会保障局领导闫友民、陈锡娥出席了开幕式。来自26个省、市、自治区的95

期刊

劳动和社会保障产品展销面临的问题副秘书长开幕式贵阳市上海常委会自治区会议期间

学车的日子

带着几许激动与忐忑,我与七位同学结为“学车联盟”,时光日历在我们忙碌之中悄悄地翻阅着。记得刚上车练习挂档时,那蓝色的庞然大物,不知藏匿多少神秘;极具诱

期刊

教练车两脚离合法非机动车道交通堵塞云南省理想与现实实际操作停车场转向灯诸如此类

全面推行职业资格证书制度

烟台市对外经贸系统职工近万名,其中技能操作人员4000多名,分布在市直和十三个县、市、区所属企业的16个专业30多个工种中。近年来,烟台市对外经济贸易委员会充分发挥行业主

期刊

职业技能职业资格证书证书制度全面推行烟台市技能操作行业主管部门“双证”职业技能开发外经贸事业

陶儿,你还好吗

给你写了许多信,陶儿,你接到了吗?陶儿,告诉我,你现在还好吗? 陶儿,还记得么,我们第一次见面,那时你是班上的学习委员,老师让你帮我找宿舍,收拾行李。由于我报到最晚,已没有

期刊

物业管理有限公司学习委员毕业实习批发商场开学校女孩子现在还宿舍呆在家里止血药

自考校园文化节活动剪影

据初步统计,在校园文化节期间,各院校共组织演讲比赛130多场次,学术报告和学术讲座280多场次,各类体育比赛1000多场次,卡拉OK、舞蹈、健美操大赛和文艺晚会120多场次,读书征

期刊

自考校园文化自考生文化节自学考试场次活动院校剪影学术讲座教育思想

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

与本文相关的学术论文