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

软件学报 2013年第7期24卷 1419-1435页

作者：赵祺刘譞哲王旭东黄罡梅宏北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

随着Internet的发展、应用需求的日趋复杂,传统浏览器-服务器模式下的瘦客户端不再能够满足应用这种需求,进而促使了具有良好用户体验、可以有效利用本地存储计算资源的富客户端应用的出现.富客户端应用遵循"模型-视图-控制器(mode... 详细信息

随着Internet的发展、应用需求的日趋复杂,传统浏览器-服务器模式下的瘦客户端不再能够满足应用这种需求,进而促使了具有良好用户体验、可以有效利用本地存储计算资源的富客户端应用的出现.富客户端应用遵循"模型-视图-控制器(model-view-controller,简称MVC)"体系结构风格,运行在客户端的软、硬件运行环境中.随着移动设备硬件、浏览器软件的发展,不同富客户端运行环境能力差异很大.另一方面,因为Internet的开放性、动态性,富客户端应用开发人员不可能预知其运行环境的特点.因此,富客户端不可避免地面临异构运行环境造成的适应性问题.提出一种富客户端运行环境自适应中间件,可提供一个符合富客户端应用体系结构风格的MVC构件模型,并利用构件的数据模型、控制器与视图这3部分,有针对性地处理富客户端存储环境、计算环境以及显示环境中的适应性问题,提供相应的自适应解决方案.提出的自适应中间件封装了以上构件模型与自适应机制,保证运行于中间件上的富客户端可以适应运行环境,合理、高效地利用运行环境中的存储、计算以及显示资源.

关键词：富客户端运行时自适应

来源：评论

学校读者我要写书评

暂无评论

一种从UML模型到可靠性分析模型的转换方法

引用

软件学报 2010年第2期21卷 287-304页

作者：柳毅麻志毅何啸邵维忠北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

以构件化的软件开发方法为背景,提出了一种将UML模型自动地转换为可靠性分析模型Markov链的方法.该方法基于构件化的软件体系结构,从UML的用况图、顺序图、活动图和构件图出发,对其进行扩展,在模型中标注了可靠性分析所需的信息.在此基... 详细信息

以构件化的软件开发方法为背景,提出了一种将UML模型自动地转换为可靠性分析模型Markov链的方法.该方法基于构件化的软件体系结构,从UML的用况图、顺序图、活动图和构件图出发,对其进行扩展,在模型中标注了可靠性分析所需的信息.在此基础上,通过构造一个称为构件转移图的中间模型,将标注了可靠性信息的UML模型转换为Markov链.该方法产生的结果能够直接作为现有可靠性相关的数学分析方法的输入,从而使可靠性分析工作变得更加方便、高效.

关键词：基于构件的软件开发软件可靠性 UML 模型转换 Markov链

来源：评论

学校读者我要写书评

暂无评论

基于MOF的软件体系结构分析结果集成框架

引用

软件学报 2012年第4期23卷 831-845页

作者：陈湘萍黄罡宋晖孙艳春梅宏北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

运行在网络环境下的软件在自适应过程中,需要集成多种分析方法来进行分析、规划和决策.由于自适应的决策程序或者设计人员以SA(software architecture)模型作为解析和理解分析结果的上下文,这使得分析结果与SA模型的集成尤为重要.但是,... 详细信息

运行在网络环境下的软件在自适应过程中,需要集成多种分析方法来进行分析、规划和决策.由于自适应的决策程序或者设计人员以SA(software architecture)模型作为解析和理解分析结果的上下文,这使得分析结果与SA模型的集成尤为重要.但是,现有的分析方法集成框架多关注于提供输入、执行分析、从而得到分析结果的过程,对分析结果的集成关注不够.针对分析结果与SA模型集成中元模型、模型和视图3个层次的挑战,提出一种软件体系结构分析结果集成框架.框架使用MOF(meta-object facility)元建模技术提供ADL(architectural descriptionlanguage)的扩展机制;使用自动生成模型转换实现SA模型与分析结果的合成;使用代码生成技术扩展建模工具为扩展后的ADL提供模型视图.最后以3种分析方法——两种可靠性评估方法和容错风格的规划方法为例,使用集成框架将其加以集成并应用于Ecperf系统的SA模型的分析中,从而展示集成框架的可行性和有效性.

关键词：软件体系结构模型驱动 MOF(meta-object facility)

来源：评论

学校读者我要写书评

暂无评论

一种支持软件资源可信评估的框架

引用

软件学报 2010年第2期21卷 359-372页

作者：蔡斯博邹艳珍邵凌霜谢冰邵维忠北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

提出了一种支持软件资源可信评估的框架,并分析了该框架涉及到的技术,如证据收集、证据信任管理和可信评估等.阐述了该框架在北京大学软件资源库中的设计决策和实现方案,并给出一个详尽的实例分析.

关键词：软件资源库软件可信可信评估

来源：评论

学校读者我要写书评

暂无评论

一种抵御拒绝服务攻击的自适应客户端难题(英文)

引用

软件学报 2009年第9期20卷 2558-2573页

作者：陈瑞川郭文嘉唐礼勇陈钟北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

研究传统的客户端难题方案,之后提出一种自适应客户端难题方案.该方案采用一种轻量级的协议交互方式来获取客户端和服务器双方的实时状态信息,并据此自适应地调整客户端难题的难度.为了评估该方案的适用性,结合传统和自适应两种客户端... 详细信息

研究传统的客户端难题方案,之后提出一种自适应客户端难题方案.该方案采用一种轻量级的协议交互方式来获取客户端和服务器双方的实时状态信息,并据此自适应地调整客户端难题的难度.为了评估该方案的适用性,结合传统和自适应两种客户端难题方案,在对等(P2P)网络中提出了一种抵御DoS攻击的自适应安全框架.理论分析和实验结果表明,甚至在高度恶意的网络环境中,自适应客户端难题方案都可以在不明显影响合法客户端性能的前提下有效地抵御各种DoS攻击.

关键词：拒绝服务攻击客户端难题对等网络

来源：评论

学校读者我要写书评

暂无评论

一种基于智能物体的物联网系统及应用开发方法

引用

计算机研究与发展 2013年第6期50卷 1198-1209页

作者：孔俊俊郭耀陈向群邵维忠北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

随着普适计算和物联网技术的发展和应用,人们不断地把传感、效应、通信和计算能力嵌入到现实世界的人工物体中,使其更加智能化、自动化甚至协同地完成复杂的任务,这类能力得以增强的新型物体被称为智能物体或者智能对象.智能物体将成为... 详细信息

随着普适计算和物联网技术的发展和应用,人们不断地把传感、效应、通信和计算能力嵌入到现实世界的人工物体中,使其更加智能化、自动化甚至协同地完成复杂的任务,这类能力得以增强的新型物体被称为智能物体或者智能对象.智能物体将成为物联网的基本构造单元,促进新型物联网应用的涌现.但是,基于智能物体开发物联网系统和应用面临着智能物体的动态性以及它们在固有功能、计算能力、网络接口等方面的异构性带来的挑战.为此,提出了一种智能物体交互机制和统一的编程抽象来支持基于智能物体的应用系统开发,实现了一个中间件系统来完成该交互机制和编程抽象,同时提供运行时支持.基于提出和实现的智能物体编程抽象,应用开发者可以容易地开发基于智能电视、智能空调、智能投影仪、智能电灯等设备的应用程序.应用举例和实验结果表明,利用基于智能物体的开发方法能够灵活有效地开发物联网应用.

关键词：智能物体物联网编程抽象异构性中间件

来源：评论

学校读者我要写书评

暂无评论

扩展QVT Relations实现业务流程模型的转换

引用

软件学报 2011年第2期22卷 195-210页

作者：何啸麻志毅张岩邵维忠北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

QVT(Query/View/Transformation)Relations无法描述包含嵌套模式,因此在描述流程模型的转换规则时存在一些困难.针对此问题,对QVT Relations进行了扩展,引入了模式因子、嵌套关系表达式和关联端约束这3个概念,并讨论了扩充之后匹配模型... 详细信息

QVT(Query/View/Transformation)Relations无法描述包含嵌套模式,因此在描述流程模型的转换规则时存在一些困难.针对此问题,对QVT Relations进行了扩展,引入了模式因子、嵌套关系表达式和关联端约束这3个概念,并讨论了扩充之后匹配模型和创建模型的语义变化.并用一个例子展示,扩展之后的QVT Relations可以解决流程模型转换的问题.

关键词：模型驱动体系结构面向服务的体系结构业务流程模型转换 QVT

来源：评论

学校读者我要写书评

暂无评论

支持自适应过程中分析与规划的软件体系结构模型

引用

计算机研究与发展 2010年第7期47卷 1156-1164页

作者：陈湘萍黄罡孙艳春梅宏北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

模型驱动的软件体系结构自适应是支持软件适应性的主要方法之一,其重点是基于模型来支持适应过程中的分析和规划.但是已有的方法和实现大多特定于体系结构描述语言,导致复用性和集成性比较差.由于使用标准的模型技术能够提高方法的复用... 详细信息

模型驱动的软件体系结构自适应是支持软件适应性的主要方法之一,其重点是基于模型来支持适应过程中的分析和规划.但是已有的方法和实现大多特定于体系结构描述语言,导致复用性和集成性比较差.由于使用标准的模型技术能够提高方法的复用性和集成性,总结了分析和规划中所需的模型以及模型上的操作,并考察了如何在体系结构建模语言中引入标准模型技术进行支持.基于分析所得的设计原则,对ABC-ADL进行扩展,并且在实现中使用模型转换和模型查询等标准化技术来支持分析和规划.以ECPerf系统中一个性能相关的不良模式自适应分析和规划的过程为例,展示了如何使用扩展后的ADL对分析规划过程进行支持.此外,其中使用2种不同的分析方法,展示了如何使用ADL复用和集成不同的分析和规划方法.

关键词：软件体系结构自适应软件体系结构描述语言模型驱动的软件工程 ABC

来源：评论

学校读者我要写书评

暂无评论

基于分割的数字图像云存储机制

引用

计算机研究与发展 2014年第5期51卷 1129-1135页

作者：吕骁博郭耀陈向群高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院软件研究所北京100871

随着云计算和数据中心的发展,数据处理和存储工作逐渐转移到云平台.通过云服务器存储数字图像可以解决图像存储和共享的问题,但是一些云服务器可能难以保证这些数字图像数据的可靠性和可用性,导致用户隐私泄露.提出一种基于分割的数字... 详细信息

随着云计算和数据中心的发展,数据处理和存储工作逐渐转移到云平台.通过云服务器存储数字图像可以解决图像存储和共享的问题,但是一些云服务器可能难以保证这些数字图像数据的可靠性和可用性,导致用户隐私泄露.提出一种基于分割的数字图像云存储机制,并采用了2种不同的图像分割算法:分块分割和分层分割.为了验证该机制,实现了一个支持隐私保护的数字图像云存储工具,针对不同图像分割方法进行了比较分析与实现,对所选的不同云服务器服务质量进行了测试.通过一系列实验,结论表明该机制可为数字图像云存储提供隐私保护、提高可靠性,并在一定程度上提高云存储的性能.

关键词：云计算数据存储图像分割隐私保护服务质量

来源：评论

学校读者我要写书评

暂无评论

以决策为中心的软件体系结构设计方法

引用

软件学报 2010年第6期21卷 1196-1207页

作者：崔晓峰孙艳春梅宏北京大学信息科学技术学院软件研究所北京100871 北京大学高可信软件技术教育部重点实验室北京100871

提出针对体系结构层次设计的决策抽象和问题分解原则,以及基于该原则的一种以决策为中心的体系结构设计方法.该方法从决策的视角对体系结构进行建模,并通过一个从导出体系结构关键问题到对体系结构方案决策的过程完成设计,还在其中实现... 详细信息

提出针对体系结构层次设计的决策抽象和问题分解原则,以及基于该原则的一种以决策为中心的体系结构设计方法.该方法从决策的视角对体系结构进行建模,并通过一个从导出体系结构关键问题到对体系结构方案决策的过程完成设计,还在其中实现了候选体系结构方案的自动合成以及设计决策与理由的捕捉.这种以决策为中心的方法切合体系结构层次的特点,降低了体系结构设计的复杂性和设计决策与理由捕捉的代价.

关键词：软件体系结构设计设计决策设计理由决策抽象问题分解

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：