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

计算机科学与探索 2011年第12期5卷 1076-1084页

作者：张伟宋晖黄罡北京大学高可信软件技术教育部重点实验室北京100871 北京大学信息科学技术学院软件工程研究所北京100871 软件工程国家工程研究中心北京100871

物联网(Internet of things,IOT)是近年来的研究热点之一,然而传感设备只提供了比较底层的访问接口,通过接口所获得的数据与应用层所需的数据在概念上存在较大的差异。针对这一问题,提出一种无线传感设备及其数据的对象化访问方法。该... 详细信息

物联网(Internet of things,IOT)是近年来的研究热点之一,然而传感设备只提供了比较底层的访问接口,通过接口所获得的数据与应用层所需的数据在概念上存在较大的差异。针对这一问题,提出一种无线传感设备及其数据的对象化访问方法。该方法通过UML(unified modeling language)类图建立设备模型与应用模型,利用SM@RT(supporting models at runtime)工具建立设备访问模型,将设备接口与设备模型进行关联,并用QVT(query/view/transformation)关联设备模型和应用模型。实验结果验证了该方法的可行性和有效性。

关键词：物联网无线传感器面向对象对象关系映射

来源：评论

学校读者我要写书评

暂无评论

一种面向IDE的软件资源库访问机制

一种面向IDE的软件资源库访问机制

引用

2011全国软件与应用学术会议(NASAC2011)

作者：宋怀达邹艳珍房路金庸谢冰北京大学信息科学技术学院北京 100871 北京大学高可信软件技术教育部重点实验室北京 100871北京大学软件工程国家工程研究中心北京 100871 北京大学信息科学技术学院北京 100871 北京大学高可信软件技术教育部重点实验室北京 100871 北京大学信息科学技术学院北京 100871 北京大学高可信软件技术教育部重点实验室北京 100871 北京大学软件工程国家工程研究中心北京 100871

软件资源库是对可复用软件资源进行管理、支持软件复用的重要基础设施。近年来，随着Internet的飞速发展，越来越多的软件资源库以网站的形式向使用者提供服务。这使得软件开发人员在使用软件资源库时不得不面临着IDE(集成开发环境)与... 详细信息

软件资源库是对可复用软件资源进行管理、支持软件复用的重要基础设施。近年来，随着Internet的飞速发展，越来越多的软件资源库以网站的形式向使用者提供服务。这使得软件开发人员在使用软件资源库时不得不面临着IDE(集成开发环境)与使用资源库的浏览器环境相互独立的事实。为此，本文提出了一种面向IDE的软件资源库访问机制，它支持在IDE环境下对软件资源库的访问，辅助用户在IDE中实现对软件资源的封装、发布、检索、下载等功能。本文以北京大学研发的Trustie软件资源库为实验对象，在Eclipse中实现了面向Trustie软件资源库的扩展插件TSR-Plugin，并给出了实现示例。

关键词：软件资源库集成开发环境扩展插件访问控制软件复用技术

来源：评论

学校读者我要写书评

暂无评论

一种面向智能传感器(mote)的应用程序开发框架

一种面向智能传感器(mote)的应用程序开发框架

引用

2011全国软件与应用学术会议(NASAC2011)

作者：王睿智史庭训焦文品孟繁晶北京大学信息科学技术学院软件研究所北京 100871 北京大学高可信软件技术教育部重点实验室北京 100871 IBM中国研究院北京 100193

随着物联网的兴起及快速推广，面向物联网前端节点(即传感器或Mote)的编程和应用开发也成为了研究人员关注的焦点。提出一种新的面向mote的软件开发框架，可以降低开发者的开发难度，提高开发mote应用的效率。该方法首先提出了一种面向m... 详细信息

随着物联网的兴起及快速推广，面向物联网前端节点(即传感器或Mote)的编程和应用开发也成为了研究人员关注的焦点。提出一种新的面向mote的软件开发框架，可以降低开发者的开发难度，提高开发mote应用的效率。该方法首先提出了一种面向mote的应用程序的抽象，其将应用程序抽象为数据、动作、和行为规则(包括通信规则)的封装。代码生成器将根据开发人员定义的数据、操作及规则，自动产生能够在Mote上运行的代码。最后，介绍了一个智能会议室的例子，展示这种基于mote开发方法开发应用的整个过程，并根据这个原型系统给出一些结论。

关键词：物联网智能传感器软件开发框架代码生产器

来源：评论

学校读者我要写书评

暂无评论

基于压缩的传感器数据存储与访问方法

基于压缩的传感器数据存储与访问方法

引用

2011全国软件与应用学术会议(NASAC2011)

作者：冯涛闫林郭耀陈向群高可信软件技术教育部重点实验室北京大学信息科学技术学院软件所软件工程国家工程研究中心北京 100871

海量的传感器数据会占用大量的存储资源，传统的数据压缩方法虽然可以降低传感器数据的存储空间，但是会给数据的访问带来额外的性能开销。根据传感器数据的特点，讨论了基于压缩的传感器数据存储与访问方法。具体采用了分组压缩的思想... 详细信息

海量的传感器数据会占用大量的存储资源，传统的数据压缩方法虽然可以降低传感器数据的存储空间，但是会给数据的访问带来额外的性能开销。根据传感器数据的特点，讨论了基于压缩的传感器数据存储与访问方法。具体采用了分组压缩的思想，通过消除原始数据中的冗余信息降低数据存储空间，同时保证数据随机访问的性能;根据不同的压缩算法，提出了3种不同的存储与访问方法。利用上述的存储与访问方法，实现了一个实验室环境数据采集发布系统，在真实环境中收集的传感器数据上测试了提出的存储与访问方法的有效性。

关键词：传感器数据数据压缩数据存储访问算法

来源：评论

学校读者我要写书评

暂无评论

一种基于运行时软件体系结构的JEE反模式检测工具

一种基于运行时软件体系结构的JEE反模式检测工具

引用

2011全国软件与应用学术会议(NASAC2011)

作者：张磊王玮琥宋晖黄罡北京大学信息科学技术学院软件研究所北京 100871 北京大学高可信软件技术教育部重点实验室北京 100871 软件工程国家工程研究中心北京 100871

反模式描述的是一种典型的不良设计，它通常会给系统带来负面的影响，如降低性能、可扩展性等。检测并消除其中存在的反模式实例可以有效提高系统质量。提出一种基于运行时体系结构的反模式的描述及检测机制，并实现相应工具。该工具基... 详细信息

反模式描述的是一种典型的不良设计，它通常会给系统带来负面的影响，如降低性能、可扩展性等。检测并消除其中存在的反模式实例可以有效提高系统质量。提出一种基于运行时体系结构的反模式的描述及检测机制，并实现相应工具。该工具基于标准模型转换语言QVT进行反模式描述，减少了检测反模式所需的编码量，提高了反模式检测代码的可复用性。对38个常见的反模式进行了总结及分类，并在工具中进行了描述，最终通过实例研究验证了工具的有效性。

关键词：软件设计模式软件体系结构反模式描述反模式检测工具

来源：评论

学校读者我要写书评

暂无评论

基于模型转换的MARTE 顺序图的形式化分析

基于模型转换的MARTE 顺序图的形式化分析

引用

2011年中国计算机学会服务计算学术会议(CCF NCSC2011)

作者：朱梅霞王捍贫刘西奎北京大学信息科学技术学院软件研究所北京100871 教育部高可信软件技术重点实验室北京100871 山东科技大学信息科学与工程学院青岛 266510

本文提出了一种形式化模型—TTS4SD,用来描述MARTE规范定义的带时间约束的顺序图的形式语义并在此基础上展开分析。首先给出顺序图的形式定义, 把时间变迁系统(TTS) 扩充成TTS4SD, 用TTS4SD描述顺序图的形式语义, 最后对TTS4SD展开分析... 详细信息

本文提出了一种形式化模型—TTS4SD,用来描述MARTE规范定义的带时间约束的顺序图的形式语义并在此基础上展开分析。首先给出顺序图的形式定义, 把时间变迁系统(TTS) 扩充成TTS4SD, 用TTS4SD描述顺序图的形式语义, 最后对TTS4SD展开分析工作，这在很大程度上提高了设计阶段模型的正确性。通过一个实例说明从顺序图到TTS4SD 的转化过程以及基于TTS4SD的验证过程。

关键词：程序设计语义定义算法语言 TTS4SD模型

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于二分决策图的特征模型验证方法

引用

软件学报 2010年第1期21卷 84-97页

作者：闫华张伟赵海燕梅宏高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院软件研究所北京100871

特征模型是领域分析活动产生的具有复用价值的软件需求模型.对特征模型的复用通常采用定制的方式.特征模型定制中的一个重要问题是验证问题.该问题的存在是因为特征之间往往具有一定的约束关系,而一个合法的定制结果必须保证特征之间所... 详细信息

特征模型是领域分析活动产生的具有复用价值的软件需求模型.对特征模型的复用通常采用定制的方式.特征模型定制中的一个重要问题是验证问题.该问题的存在是因为特征之间往往具有一定的约束关系,而一个合法的定制结果必须保证特征之间所有约束关系的被满足性.由于特征模型验证问题NP-hard所具有的性质,如何高效地进行特征模型的验证就成为一件相对困难的事情.在深入挖掘特征模型验证问题特殊性的基础上,将这种特殊性和二分决策图的结构特点进行了有效的结合,提出了一种通过对二分决策图的一次遍历即能实现特征模型验证的方法.需要指出的是,该方法并非试图在一般意义上解决特征模型验证问题中NP-hard的困难性,而是尽可能地利用该问题的特殊性,以提高处理特征模型定制问题的规模和效率.实验数据表明,相比较以前采用的验证方法,基于BDD(binary decision diagram)的方法在处理特征模型验证问题的规模和效率上都具有显著的提高.

关键词：特征模型验证 BDD(binary decision diagram) 领域工程软件复用

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：