实时构件合成的语义研究 被引量：3

1

作者 黄靖 卢炎生 徐丽萍 《计算机科学》 CSCD 北大核心 2007年第2期10-16,共7页

实时构件合成是实时应用系统中软件合成的基础,是实现软件复用思想的软件生产活动,其语义研究从实时构件的反射式语义模型、实时构件合成的适配性验证和合成构件的语义规约机制三个方面展开,规约为实时构件合成中的分析理论。

关键词 实时构件 构件合成 构件语义

在线阅读 下载PDF 职称材料

基于协议的实时构件行为一致性验证 被引量：2

2

作者 张振领 贾仰理 +1 位作者 谢圣献 李舟军 《计算机科学》 CSCD 北大核心 2012年第6期125-128,142,共5页

对复杂实时构件系统行为进行形式化描述和一致性验证,可以提高实时构件的可复用性和系统的正确性、可靠性。分析了时间行为协议TBP(Timed Behavior Protocol)及其它学术界和工业界常用的时序行为形式化描述方法,对实时构件替换理论进行... 对复杂实时构件系统行为进行形式化描述和一致性验证,可以提高实时构件的可复用性和系统的正确性、可靠性。分析了时间行为协议TBP(Timed Behavior Protocol)及其它学术界和工业界常用的时序行为形式化描述方法,对实时构件替换理论进行了讨论,给出了基于时间行为协议的构件一致性验证算法并对其进行了分析。 展开更多

关键词 实时构件 时间行为协议 形式化描述 一致性验证

在线阅读 下载PDF 职称材料

RTCS:一种具有精确语义的实时构件描述机制 被引量：2

3

作者 徐丽萍 贾红卫 卢炎生 《计算机科学》 CSCD 北大核心 2005年第8期205-208,共4页

大规模和复杂的实时系统可以显著获益于基于构件的软件开发方法,即通过已有的经过验证的可复用构件来构造实时系统,如能将这一集成过程自动化,将会显著提高实时系统的开发效率。通过对实时任务特性的分析,在Timed CSP等形式化工具的基础... 大规模和复杂的实时系统可以显著获益于基于构件的软件开发方法,即通过已有的经过验证的可复用构件来构造实时系统,如能将这一集成过程自动化,将会显著提高实时系统的开发效率。通过对实时任务特性的分析,在Timed CSP等形式化工具的基础上,提出了一种具有精确语义的实时构件描述机制—RTCS,并探讨了在实时COR-BA架构内利用RTCS实现构件自动生成的方法。 展开更多

关键词 实时构件 构件描述 构件集成 实时系统 RTCS 机制 语义 软件开发方法 可复用构件 过程自动化

在线阅读 下载PDF 职称材料

反射式实时构件的实现 被引量：1

4

作者 黄靖 卢炎生 徐丽萍 《计算机科学》 CSCD 北大核心 2007年第1期219-222,254,共5页

反射式实时构件的实现,是对基于反射的实时构件模型规约描述机制[1]的进一步研究与实践,其实现过程中涉及到两个关键问题,即实时构件模型到实时构件实现体的转换,以及实时构件实现体反射动态性的体现。本文主要围绕这两个关键问题,给出... 反射式实时构件的实现,是对基于反射的实时构件模型规约描述机制[1]的进一步研究与实践,其实现过程中涉及到两个关键问题,即实时构件模型到实时构件实现体的转换,以及实时构件实现体反射动态性的体现。本文主要围绕这两个关键问题,给出反射式实时构件的实现方法。 展开更多

关键词 反射 实时构件 模型驱动框架

在线阅读 下载PDF 职称材料

无线移动环境中基于移动Agent的实时构件组装机制研究 被引量：1

5

作者 胡海洋 《计算机科学》 CSCD 北大核心 2007年第11期270-273,282,共5页

由于无线网络较窄、昂贵的带宽,及移动设备自身有限的硬件能力,在无线移动环境中进行实时构件组装调用时面临着更多的技术挑战,需要一种高效、可靠的机制给予支持。本文提出一种基于移动Agent的无线网络环境构件组装调用机制。该机制利... 由于无线网络较窄、昂贵的带宽,及移动设备自身有限的硬件能力,在无线移动环境中进行实时构件组装调用时面临着更多的技术挑战,需要一种高效、可靠的机制给予支持。本文提出一种基于移动Agent的无线网络环境构件组装调用机制。该机制利用移动Agent作为移动客户端与构件服务器之间交互的中介,提供了灵活、可配置的组装结构,从而有效避免移动客户端不必要的访问操作,节省了移动客户端的无线网络连接开销,与其他机制相比有着较高的执行效率;同时该机制可有效支持移动客户端发生故障后的状态恢复,从而确保运行过程的可靠性。最后本文通过实验分析了MAWA机制的可靠性与高效性。 展开更多

关键词 移动AGENT 实时构件组装 无线移动网络

在线阅读 下载PDF 职称材料

基于C/S关系的实时系统构件交互规约 被引量：5

6

作者 刘晓燕 张云生 +1 位作者 J-J.Schwarz 李俊昌 《计算机工程与应用》 CSCD 北大核心 2007年第17期104-107,110,共5页

给出了基于构件的实时多任务应用系统图形化设计软件的构件接口定义。为解决基于构件的分布式C/S关系的实时软件构件的重用及装配问题,提出了构件相互交互的文本描述语言语法语义规约,其主要刻画了分布式实时构件之间的交互协议及其实... 给出了基于构件的实时多任务应用系统图形化设计软件的构件接口定义。为解决基于构件的分布式C/S关系的实时软件构件的重用及装配问题,提出了构件相互交互的文本描述语言语法语义规约,其主要刻画了分布式实时构件之间的交互协议及其实时特性。 展开更多

关键词 实时构件 实时系统 接口设计 C/S关系 交互规约

在线阅读 下载PDF 职称材料

实时系统构件非功能性接口语义规约 被引量：4

7

作者 刘晓燕 张云生 +1 位作者 J-J.Schwarz 李俊昌 《计算机科学》 CSCD 北大核心 2007年第6期251-252,257,共3页

该文给出了基于构件的实时多任务应用系统图形化设计软件的具有分布式C/S关系实时构件的接口定义,主要论述实时构件非功能性接口模型,针对实时特性,提出构件的非功能性接口在时间性、调度性、合成性、同步、互斥以及资源设备控制方面的... 该文给出了基于构件的实时多任务应用系统图形化设计软件的具有分布式C/S关系实时构件的接口定义,主要论述实时构件非功能性接口模型,针对实时特性,提出构件的非功能性接口在时间性、调度性、合成性、同步、互斥以及资源设备控制方面的语义规约。 展开更多

关键词 实时系统 实时构件 接口设计 非功能性 语义规约

在线阅读 下载PDF 职称材料

基于高阶时间π演算的构件式实时软件研究 被引量：4

8

作者 尤涛 杜承烈 +1 位作者 王小伟 郑炜 《西北工业大学学报》 EI CAS CSCD 北大核心 2009年第6期906-911,共6页

在复杂的实时软件系统中使用构件式设计方法已成为目前软件工程中的研究热点。如何有效地验证实时软件的设计是否满足给定的时间规约,是实时计算领域中的主要挑战之一。文中提出了一种有时间特性的高阶多型π演算(THOπ-calculus),通过... 在复杂的实时软件系统中使用构件式设计方法已成为目前软件工程中的研究热点。如何有效地验证实时软件的设计是否满足给定的时间规约,是实时计算领域中的主要挑战之一。文中提出了一种有时间特性的高阶多型π演算(THOπ-calculus),通过对不同阶上进程中活动关联的持续时间和最晚结束时间加以约束,给出了THO-π演算的操作语义。作为对π演算模型等价性分析的重要工具,在THO-π演算语义下提出了一种新的弱时间互模拟关系,并针对弱时间互模拟关系的阶次性定义了多分辨时间约束。通过对某导航软件的设计表明,该方法对实时软件构件内部、构件间的复杂动态时间约束有很好的表达与化简作用。 展开更多

关键词 实时系统 语义 构件式实时系统 高阶时间π演算

在线阅读 下载PDF 职称材料

TCBV:一种构件时序行为建模与相容性验证工具

9

作者 张振领 贾仰理 +1 位作者 周恩光 李舟军 《计算机科学》 CSCD 北大核心 2012年第10期143-147,共5页

利用形式化方法对复杂实时构件系统的时序行为进行建模与验证对于提高安全攸关实时构件系统的正确性、可靠性与安全性具有重要意义。介绍了基于时间行为协议的构件时序行为的形式化建模和相容性验证方法,给出了时间行为协议建模与相容... 利用形式化方法对复杂实时构件系统的时序行为进行建模与验证对于提高安全攸关实时构件系统的正确性、可靠性与安全性具有重要意义。介绍了基于时间行为协议的构件时序行为的形式化建模和相容性验证方法,给出了时间行为协议建模与相容性验证工具TCBV的系统架构与功能模块。TCBV应用方便,能够实现实时构件时序行为模型的图形化表示,并可对复杂交互行为的相容性进行自动验证。结合应用实例,介绍了如何利用TCBV对复杂实时构件系统的时序行为进行建模和验证。最后,将TCBV与其它相关工具进行了比较。 展开更多

关键词 实时构件系统 时序行为 形式化方法 建模 相容性验证工具

在线阅读 下载PDF 职称材料

时间行为协议状态空间约减算法

10

作者 张振领 贾仰理 李舟军 《计算机科学》 CSCD 北大核心 2012年第4期135-138,共4页

对复杂时间行为协议状态进行约减对于缓解形式化验证的状态空间爆炸问题,提高验证工具系统的效率、实用性等具有重要意义。分析了实时构件组合的几种形态,对基于时间行为协议的组合理论和状态空间爆炸问题进行了讨论,给出了时间行为协... 对复杂时间行为协议状态进行约减对于缓解形式化验证的状态空间爆炸问题,提高验证工具系统的效率、实用性等具有重要意义。分析了实时构件组合的几种形态,对基于时间行为协议的组合理论和状态空间爆炸问题进行了讨论,给出了时间行为协议的状态空间约减算法并进行了分析,给出了示例。 展开更多

关键词 实时构件 时间行为协议 状态 约减

在线阅读 下载PDF 职称材料

计算机科学2007年第34卷总目次

11

《计算机科学》 CSCD 北大核心 2007年第12期304-310,M0004,共8页

关键词 研究综述 算法研究 XML 无线传感器网络 粗糙集理论 建模方法 数据挖掘算法 QoS 不完备信息系统 分布式虚拟环境 实时构件 聚类分析 点群分析 多播路由算法 网格环境 计算机科学 目次

在线阅读 下载PDF 职称材料