检索结果-内蒙古大学图书馆

计算机学报 2007年第10期30卷 1696-1704页

作者：李军国黄罡邹键梅宏北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室北京100871

提出一种基于运行时刻软件体系结构的容错管理方法,支持开发者和管理员针对不同中间件服务失效定制合适的故障检测和修复机制.首先,运行时刻软件体系结构自动构造构件依赖视图和错误传播①视图,为理解和分析整个系统的可靠性提供全局视... 详细信息

提出一种基于运行时刻软件体系结构的容错管理方法,支持开发者和管理员针对不同中间件服务失效定制合适的故障检测和修复机制.首先,运行时刻软件体系结构自动构造构件依赖视图和错误传播①视图,为理解和分析整个系统的可靠性提供全局视图;然后,操作运行时刻软件体系结构配置容错机制;最后利用AOP技术将容错机制插装到中间件中,使其具备指定的容错能力.上述过程在一个可视化工具的辅助下半自动实施,并在J2EE中间件上得到验证.

关键词：中间件可靠性软件体系结构软件容错

来源：评论

学校读者我要写书评

暂无评论

基于中间件的运行时监测与分析框架

引用

电子学报 2007年第B12期35卷 124-128页

作者：刘永刚李敏王千祥梅宏北京大学信息科学技术学院软件研究所；高可信软件技术教育部重点实验室北京100871

运行时刻软件的监测与分析不仅可以提高软件质量，也是软件自适应性的基础．本文提出了基于模式的声明式约束描述方法，以此为基础，在J2EE中间件PKUAS上开发了运行时监测与分析框架，其最大的特点是探针的灵活部署和监测面向业务逻辑... 详细信息

运行时刻软件的监测与分析不仅可以提高软件质量，也是软件自适应性的基础．本文提出了基于模式的声明式约束描述方法，以此为基础，在J2EE中间件PKUAS上开发了运行时监测与分析框架，其最大的特点是探针的灵活部署和监测面向业务逻辑的约束．最后，阐述了框架的实现和相关实验的效果．

关键词：运行时监测分析约束描述约束定义语言中间件监测框架

来源：评论

学校读者我要写书评

暂无评论

具有散射效果的室内外光束实时绘制

引用

计算机辅助设计与图形学学报 2007年第12期19卷 1580-1586页

作者：李胜陈舒毅汪国平吴恩华北京大学高可信软件技术教育部重点实验室北京100871 北京大学信息科学技术学院人机交互与多媒体实验室北京100871 澳门大学科学技术学院电脑与资讯科学系

依据空气散射的物理原理,提出一种高效的能够实时模拟动态自然光束的真实感绘制方法.首先推导出散射计算的解析表达式以取代传统的数值积分方法;然后基于GPU特点设计了一种有效的光束体表示,作为光束体和阴影体统一形式共同参与GPU着色... 详细信息

依据空气散射的物理原理,提出一种高效的能够实时模拟动态自然光束的真实感绘制方法.首先推导出散射计算的解析表达式以取代传统的数值积分方法;然后基于GPU特点设计了一种有效的光束体表示,作为光束体和阴影体统一形式共同参与GPU着色器的运算,从而生成具有阴影效果的光束.该方法不仅可以模拟单个光源形成的光束,还可以实时模拟动态太阳光源产生的多个自然光束.由于采用了GPU加速计算,可以满足实时应用需求.

关键词：自然光束空气散射光束体 GPU

来源：评论

学校读者我要写书评

暂无评论

基于中间件的软件系统特征交互问题在线检测与消除

引用

中国科学（E辑） 2007年第10期37卷 1235-1247页

作者：黄罡刘譞哲梅宏高可信软件技术教育部重点实验室北京大学信息科学技术学院北京100871

作为主流的Internet软件系统运行支撑平台,中间件必须支持越来越丰富的交互模式.交互的多样和复杂以及Internet开放、动态、多变等特点导致非预期交互产生的几率逐渐增加.这些非预期的交互可能导致服务降级,功能损失,甚至系统崩溃等严... 详细信息

作为主流的Internet软件系统运行支撑平台,中间件必须支持越来越丰富的交互模式.交互的多样和复杂以及Internet开放、动态、多变等特点导致非预期交互产生的几率逐渐增加.这些非预期的交互可能导致服务降级,功能损失,甚至系统崩溃等严重后果.文中从电信领域特征交互问题的角度研究Internet软件中的非预期交互问题,并提出了一个基于中间件的在线检测与消除方法.首先,对中间件使能的系统交互进行分类,与电信系统进行多角度的比较,并分析了4个实例,从而论证了Internet软件特征交互问题的存在并考察其与电信系统特征交互问题的异同.随后,提出了以运行时软件体系结构为核心的在线检测和消除方法.该方法在J2EE环境中得以实现并成功解决了4个实例.

关键词：特征交互中间件软件体系结构反射

来源：评论

学校读者我要写书评

暂无评论

RFID信息服务中发布/订阅系统若干关键技术问题研究

引用

电子学报 2008年第B12期36卷 94-101页

作者：刘殿兴赵文邓鹏鹏张世琨王立福北京大学信息科学技术学院北京100871 北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室北京100871 北京大学软件工程国家工程研究中心北京100871

本文将描述逻辑中基于个体的推理方法引入到RFID信息服务的发布/订阅系统中,利用时间本体来描述事件之间的时序关系,通过判断事件断言集与订阅的一致性来解决语义匹配以及与时序相关的复合事件与复合订阅的匹配问题,并给出了订阅语言和... 详细信息

本文将描述逻辑中基于个体的推理方法引入到RFID信息服务的发布/订阅系统中,利用时间本体来描述事件之间的时序关系,通过判断事件断言集与订阅的一致性来解决语义匹配以及与时序相关的复合事件与复合订阅的匹配问题,并给出了订阅语言和匹配算法.实验结果表明,匹配算法的效率能够满足实际应用的需要.

关键词：发布/订阅 RFID 描述逻辑时间本体

来源：评论

学校读者我要写书评

暂无评论

一种基于P2P支持检索条件重构的构件库互联技术

引用

计算机研究与发展 2007年第12期44卷 2122-2129页

作者：李琰李田谢冰张路孙家驌北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室北京100871

软件复用是解决软件危机的有效途径.随着软件复用技术和网络技术的发展,在Internet上出现了越来越多的软件构件库.复用者需要的构件往往分散在多个构件库中,而各个库中构件的描述方式也各不相同;这给复用者获取构件带来了一定的困难.因... 详细信息

软件复用是解决软件危机的有效途径.随着软件复用技术和网络技术的发展,在Internet上出现了越来越多的软件构件库.复用者需要的构件往往分散在多个构件库中,而各个库中构件的描述方式也各不相同;这给复用者获取构件带来了一定的困难.因此,需要有一种有效的机制来帮助他们在多个构件库中获取构件.提出一种构件库互联技术DCLITTA以支持在分布的构件库之间实现资源共享,并为复用者提供了"透明"的检索机制.DCLITTA采用对等网络(P2P)体系结构将各个独立的构件库组织在一起.同时,针对构件库间构件描述模型的差异,DCLITTA通过自动地将复用者的检索请求进行重构来改善检索的效果.基于该互联技术,已设计实现了相应的支持系统,并实际应用于北京、上海等软件园的构件库中.

关键词：软件构件库构件库互联对等网络构件检索检索条件重构

来源：评论

学校读者我要写书评

暂无评论

一种对象／关系映射隐式持久化框架

引用

电子学报 2007年第B12期35卷 179-184页

作者：陈兴润滕腾黄罡梅宏北京大学高可信软件技术教育部重点实验室北京100871 北京大学信息科学技术学院软件研究所北京100871

对象／关系映射持久化框架实现了对象属性与关系数据库表项之间的自动映射，极大简化了面向对象系统中的数据持久存储问题．但是，现有的对象／关系映射框架要求显式调用持久化接口，这就需要在业务逻辑代码中插入大量持久化代码，不仅... 详细信息

对象／关系映射持久化框架实现了对象属性与关系数据库表项之间的自动映射，极大简化了面向对象系统中的数据持久存储问题．但是，现有的对象／关系映射框架要求显式调用持久化接口，这就需要在业务逻辑代码中插入大量持久化代码，不仅带来程序结构的不清晰，更重要的是，使应用的持久化功能缺乏动态适应性．基于现有主流持久化技术，本文提出一种对象／关系映射隐式持久化框架，该框架支持隐式持久化，即，应用系统不需出现任何与持久化相关代码，由框架将封装后的持久化代码注入到应用系统中，使系统能按需配置持久化策略以实现对象持久化．隐式持久化技术不仅可以使应用开发者更专注于业务逻辑，而不需要关心持久化，且允许动态修改持久化策略，从而实现持久化箫略的增删改．

关键词：对象/关系映射隐式持久化中间件

来源：评论

学校读者我要写书评

暂无评论

基于同步网的BPEL建模和验证

引用

系统仿真学报 2007年第A01期19卷 97-100页

作者：徐春香屈婉玲王捍贫黄雨袁崇义北京大学信息科学技术学院软件研究所教育部高可信软件技术重点实验室北京100871

Web服务组合是面向服务架构的一个应用,是指将已有的Web服务组合成为新的服务。业务流程执行语言BPEL(Business Process Execution Language)是一种描述Web服务组合的语言。为了保证BPEL描述的Web服务组合的正确性,提出了分层建模和验... 详细信息

Web服务组合是面向服务架构的一个应用,是指将已有的Web服务组合成为新的服务。业务流程执行语言BPEL(Business Process Execution Language)是一种描述Web服务组合的语言。为了保证BPEL描述的Web服务组合的正确性,提出了分层建模和验证的思想,将BPEL流程分为逻辑层和语义层,并分别建立形式化模型和验证方法。这样不仅能保证对流程正确地建模,而且能降低建模和验证的复杂度。在逻辑层,BPEL元素映射为基于同步网的WSL_net模型。畅通性和无冗余变迁性质保证了BPEL流程基本控制流的正确性并避免了资源的浪费。语义层的建模和验证将另文给出。

关键词： Web服务组合 BPEL 建模验证同步网 WSL_net

来源：评论

学校读者我要写书评

暂无评论

一种良构可扩展的构件运行平台容器系统

引用

中国科技论文在线 2007年第10期2卷 708-714页

作者：范刚曹东刚周明辉肖赞梅宏北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室北京100871

随着J2EE等构件运行平台的迅速发展和广泛应用,构件运行平台要提供的功能越来越多,导致其自身的结构越来越复杂。因此如何设计一种良好的体系结构,保持构件运行平台的灵活性和扩展性成为一项挑战。本文提出一种良构可扩展的构件运行平... 详细信息

随着J2EE等构件运行平台的迅速发展和广泛应用,构件运行平台要提供的功能越来越多,导致其自身的结构越来越复杂。因此如何设计一种良好的体系结构,保持构件运行平台的灵活性和扩展性成为一项挑战。本文提出一种良构可扩展的构件运行平台容器系统。基于该系统,构件运行平台在保持其结构模块化和灵活性的同时,其功能可以容易地被进行扩展和定制,以满足不同用户的需求和适应动态多变的环境。

关键词：计算机软件与理论构件容器良构关注点分离

来源：评论

学校读者我要写书评

暂无评论

一种基于关联分析的数据块检测方法

一种基于关联分析的数据块检测方法

引用

2007全国软件及其应用学术会议

作者：梁劼刘辉麻志毅李戈高可信软件技术教育部重点实验室北京大学信息科学技术学院软件所北京 100871

在面向对象软件中,常常会出现一些紧密关联的数据项。这些关联数据项之间或多或少还存在一定的语义联系。它们描述的往往是同一个实体(类)的不同属性,或是同一个操作的不同参数。MartinFowler把这种关联数据项称作数据块(Data Clumps)... 详细信息

在面向对象软件中,常常会出现一些紧密关联的数据项。这些关联数据项之间或多或少还存在一定的语义联系。它们描述的往往是同一个实体(类)的不同属性,或是同一个操作的不同参数。MartinFowler把这种关联数据项称作数据块(Data Clumps)。数据块将一个整体性的描述分散开来,不利于软件的理解和维护。MartinFowler将数据块作为一种设计缺陷(Bad Smells),并建议将数据块合并为一个粒度适中的实体类。为了合并数据块,就必须首先从庞大的软件系统中找出需要合并的数据块。手工找出数据块代价高昂,且难以保证查全率。本文提出了一种基于关联分析的数据块检测方法,可以自动地从代码中找出需要合并的数据块。实验结果表明,该方法可以比较高效准确地找出需要合并的数据块。

关键词：数据块检测关联分析软件设计缺陷面向对象软件维护

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：