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

计算机研究与发展 2004年第6期41卷 956-964页

作者：向俊莲杨杰梅宏北京大学信息科学技术学院软件研究所北京大学信息科学技术学院软件研究所北京100871

软件朝着越来越复杂和庞大的趋势发展 ,因此对更有效的软件开发技术的需求十分迫切近年来 ,软件体系结构、构件技术和软件复用技术等开始在软件开发中发挥重要作用 ,成为软件工程领域研究的热点在基于构件复用的开发方法中 ,构件组... 详细信息

软件朝着越来越复杂和庞大的趋势发展 ,因此对更有效的软件开发技术的需求十分迫切近年来 ,软件体系结构、构件技术和软件复用技术等开始在软件开发中发挥重要作用 ,成为软件工程领域研究的热点在基于构件复用的开发方法中 ,构件组装技术是关键 ,而且一直以来也是难点所在 ABC(architecture basedcomponentcomposition)是一种基于软件体系结构、面向构件的软件开发方法介绍了为ABC方法提供有效支持的工具ABC Tool,ABC Tool以软件体系结构为设计蓝图 ,以构件为基本开发单元 ,在不修改构件源代码的前提下 ,通过可视化的图形建模方式 ,从体系结构的高层设计逐层映射到底层实现 ,将可运行或可部署的构件组装为最终的可正确运行的系统

关键词：软件体系结构软件体系结构描述语言基于构件的软件开发 ABC方法

来源：评论

学校读者我要写书评

暂无评论

UML中衍型的精确定义与分析

引用

电子学报 2003年第z1期31卷 2101-2105页

作者：蒋严冰邵维忠张路麻志毅北京大学信息科学与技术学院软件研究所北京100871

UML规范对于衍型这种扩展机制描述的不够清晰和严格 ,常被用户和研究者误用 ,并且也无法很好地支持可扩展的建模工具的开发 .本文精确地定义UML中的衍型以及衍型之间的关系 ,在此基础上定义衍型与元模型之间的转化并提出运用衍型的指导... 详细信息

UML规范对于衍型这种扩展机制描述的不够清晰和严格 ,常被用户和研究者误用 ,并且也无法很好地支持可扩展的建模工具的开发 .本文精确地定义UML中的衍型以及衍型之间的关系 ,在此基础上定义衍型与元模型之间的转化并提出运用衍型的指导规则 ,使得UML衍型的使用者能够更深入地理解这种扩展机制。

关键词： UML 扩展机制衍型形式化语法语义

来源：评论

学校读者我要写书评

暂无评论

从需求到软件体系结构:一种面向特征的映射方法

引用

北京大学学报(自然科学版) 2004年第3期40卷 372-378页

作者：刘冬云梅宏北京大学信息科学与技术学院软件所北京100871

需求工程与软件体系结构构造是软件生命周期的两个关键活动.分析了解决这一问题的传统的映射方案(如在结构化方法和面向对象方法中所采用的映射方案)的不足,引入了一种面向特征的映射方法,阐述了这一方法的原理、建模表示及映射步骤,并... 详细信息

需求工程与软件体系结构构造是软件生命周期的两个关键活动.分析了解决这一问题的传统的映射方案(如在结构化方法和面向对象方法中所采用的映射方案)的不足,引入了一种面向特征的映射方法,阐述了这一方法的原理、建模表示及映射步骤,并以' 银行账户与事务系统(BAT系统)'为例对该方法作了验证.

关键词：需求工程软件体系结构特征

来源：评论

学校读者我要写书评

暂无评论

支持协商的网构软件体系结构行为建模与验证

引用

软件学报 2008年第5期19卷 1099-1112页

作者：周立陈湘萍黄罡孙艳春梅宏北京大学信息科学技术学院软件研究所

针对网构软件行为中的不确定性和不完整性,提出了一种支持协商的网构软件体系结构行为建模与验证方法.在建模中,该方法借鉴了UML时序图元素表示法,并增加了建模元素支持行为的不确定与不完整建模.在验证中,除了集成广泛应用的模型检查工... 详细信息

针对网构软件行为中的不确定性和不完整性,提出了一种支持协商的网构软件体系结构行为建模与验证方法.在建模中,该方法借鉴了UML时序图元素表示法,并增加了建模元素支持行为的不确定与不完整建模.在验证中,除了集成广泛应用的模型检查工具Spin以提供行为模型的验证能力以外,还引入了基于反例引导的抽象-精化过程思想的协商检查,以解决不确定和不完整建模所带来的正确性验证问题.

关键词：网构软件软件体系结构模型检查行为模型

来源：评论

学校读者我要写书评

暂无评论

下一代通信软件中的特征冲突检测

引用

软件学报 2005年第7期16卷 1232-1241页

作者：王栋梅宏北京大学信息科学技术学院软件研究所

通信软件在其基本服务基础上进行扩展而得到的附加功能被称为特征,由于特征之间的相互干扰所导致的软件系统的异常行为被称为特征冲突问题.研究了下一代通信软件中由于特征的分布式实现和部署而产生的特征冲突问题.基于通信有限状态机模... 详细信息

通信软件在其基本服务基础上进行扩展而得到的附加功能被称为特征,由于特征之间的相互干扰所导致的软件系统的异常行为被称为特征冲突问题.研究了下一代通信软件中由于特征的分布式实现和部署而产生的特征冲突问题.基于通信有限状态机模型,采用系统验证的技术设计了一种分布式特征冲突检测方案;对于生成全局状态自动机所导致的状态爆炸问题,提出了4条消除冗余状态和变迁的优化规则.对所提出的方案及优化策略进行了理论上的证明和实际中的验证,结果均表明,该方案对于通信软件中的特征冲突检测是有效的.

关键词：下一代通信软件特征冲突通信有限状态机系统验证状态爆炸

来源：评论

学校读者我要写书评

暂无评论

用户驱动的服务聚合方法及其支撑框架

引用

软件学报 2007年第8期18卷 1883-1895页

作者：刘譞哲黄罡梅宏北京大学信息科学技术学院软件研究所

虚拟计算环境的重要目标之一,就是在动态、开放、多变的网络环境中对分布异构资源按需进行聚合,并提供有效的资源发布、发现、订阅等机制.通过服务来抽象和封装资源是资源虚拟化的主要手段之一,但现有面向服务的体系结构(service orient... 详细信息

虚拟计算环境的重要目标之一,就是在动态、开放、多变的网络环境中对分布异构资源按需进行聚合,并提供有效的资源发布、发现、订阅等机制.通过服务来抽象和封装资源是资源虚拟化的主要手段之一,但现有面向服务的体系结构(service oriented architecture,简称SOA)所采用的"以服务提供商为中心"的服务组织模式容易导致用户发现和订阅服务的难度随着服务的增加而增加.提出一种用户驱动的服务聚合技术,即根据用户需求,将功能相似的服务聚合成服务池并封装为单一的虚拟服务,随后根据用户QoS需求进行自动协商,选出最佳服务或服务组合.该方法的特点在于将服务池作为用户发现和订阅的唯一实体,从用户角度将大量服务聚合成为相对稳定和统一的资源视图,屏蔽资源的复杂性、多样性和多变性,支持自动QoS协商,从而有效提高用户对服务资源的利用.

关键词：面向服务体系(service oriented architecture,简称SOA) 服务聚合服务发现服务订阅服务池

来源：评论

学校读者我要写书评

暂无评论

元建模技术研究进展

引用

软件学报 2008年第6期19卷 1317-1327页

作者：刘辉麻志毅邵维忠北京大学信息科学技术学院软件研究所

随着UML(unified modeling language)与MDA(model driven architecture)的兴起和流行,模型已经成为软件开发的核心制品,而模型重要性的提升使得建模语言以及定义建模语言的元模型逐渐成为软件开发中的一个核心要素.软件开发往往涉及多... 详细信息

随着UML(unified modeling language)与MDA(model driven architecture)的兴起和流行,模型已经成为软件开发的核心制品,而模型重要性的提升使得建模语言以及定义建模语言的元模型逐渐成为软件开发中的一个核心要素.软件开发往往涉及多个领域,而不同的领域往往需要不同的建模语言及其建模工具.但是,手工地为不同的建模语言开发建模工具代价高昂.元建模技术是解决这个问题的方法之一,通过元建模,可以根据领域需要定制合适的元模型以定义领域建模语言,进而自动生成支持该建模语言的建模工具.大量的工程实践表明,与领域建模以及MDA相结合,元建模可以大幅度地提高软件开发效率,基于元建模的MDA比基于通用建模语言的MDA更具潜力.在最近的几年中,元建模及其相关技术发展迅猛,不但在技术上取得了长足的进步,而且在产业界也开始出现大规模的商业应用.总结了元建模的现有研究成果,分析和比较了现有元建模工具,探讨了元建模的可能发展方向.对元建模中存在的问题进行分析,并指出了可能的解决途径.

关键词：元建模元模型 UML(unified modeling language) MDA(model driven architecture)

来源：评论

学校读者我要写书评

暂无评论

模型转换中特性保持的描述与验证

引用

软件学报 2007年第10期18卷 2369-2379页

作者：刘辉麻志毅邵维忠北京大学信息科学技术学院软件研究所

模型转换主要用于模型的演化、求精以及重构.模型转换需要遵循一定的约束规则以保持模型的某些特性.模型演化通常要求保持已有的接口;模型重构则必须保证重构前后的软件具有相同的外部行为特性.为了严格证明某个模型转换规则是否满足这... 详细信息

模型转换主要用于模型的演化、求精以及重构.模型转换需要遵循一定的约束规则以保持模型的某些特性.模型演化通常要求保持已有的接口;模型重构则必须保证重构前后的软件具有相同的外部行为特性.为了严格证明某个模型转换规则是否满足这些约束,特性保持约束必须形式化地加以描述.为了实现证明过程的自动化,需要总结通用的证明过程并给出实现算法.提出了一种基于图转换的特性保持约束描述机制,将模型演化与重构中的转换规则以及特性保持约束都描述为图转换规则.借助图转换的冲突检测机制,给出了严格证明转换规则是否满足特性保持约束的算法.

关键词：模型转换特性保持行为保持重构演化 MDA

来源：评论

学校读者我要写书评

暂无评论

一种基于模型的特征交互检测方法

引用

软件学报 2007年第1期18卷 94-104页

作者：左继红王千祥梅宏北京大学信息科学技术学院软件研究所北京100871

为了适应业务的不断更新,许多软件系统通过向公共的基础系统插入新的扩展来实现演化.这种演化策略虽然有利于并行开发和部署,但也面临着扩展间可能发生非预期特征交互的问题.目前,形式化方法在检测特征交互问题方面仍然是最有效的方法之... 详细信息

为了适应业务的不断更新,许多软件系统通过向公共的基础系统插入新的扩展来实现演化.这种演化策略虽然有利于并行开发和部署,但也面临着扩展间可能发生非预期特征交互的问题.目前,形式化方法在检测特征交互问题方面仍然是最有效的方法之一.这类方法着眼于检测扩展之间是否会发生冲突.虽然在小规模实验上较为成功,但是它们也面临着一些挑战.例如:扩展的非单调性、扩展组合的激增以及扩展模型可能无法获知的问题.实际上,许多特征交互都源于新扩展对基系统和已有扩展造成的不恰当影响.基于这种认识,集中关注由于扩展的不恰当影响所导致的交互冲突问题,提出了如何从已知的特征交互实例来分析产生冲突的原因的具体方法,并说明了如何制定约束以限制扩展中易导致冲突的行为,从而预防同一类行为可能导致的各种冲突.该方法被应用到电信系统特征交互的分析上,实验结果表明,大部分特征交互中导致冲突的行为都可以被检测出来.该方法不仅能够保证原有基系统或扩展模型的稳定、有效,避免扩展组合带来的问题,而且它无须公布扩展的模型细节.

关键词：特征交互模型检测模型约束非单调性形式化方法

来源：评论

学校读者我要写书评

暂无评论

基于软件体系结构的反射式中间件研究

引用

软件学报 2003年第11期14卷 1819-1826页

作者：黄罡王千祥梅宏杨芙清北京大学信息科学技术学院软件研究所北京100871

Internet为分布应用提供了一种开放、动态的运行环境,这要求分布应用的主要基础设施中间件能够支持运行时查看并调整平台内部状态和行为,由此产生了反射式中间件.目前的反射式中间件研究与实践存在3个不足注重系统局部或单个实体的反射... 详细信息

Internet为分布应用提供了一种开放、动态的运行环境,这要求分布应用的主要基础设施中间件能够支持运行时查看并调整平台内部状态和行为,由此产生了反射式中间件.目前的反射式中间件研究与实践存在3个不足注重系统局部或单个实体的反射而缺乏全局视图;注重中间件平台内部功能的反射,而对上层应用的反射不够;集中于CORBA平台,而对J2EE平台的反射性研究较少.介绍了一个反射式的J2EE应用服务器PKUAS.基于构件化的平台内部体系结构,PKUAS引入软件体系结构作为全局视图以实现反射体系对系统整体的表示和控制,作为J2EE应用服务器,PKUAS可反射底层平台以及上层EJB构件.同时,以PKUAS实时监控工具为例,探讨了如何利用基于软件体系结构的反射体系管理整个系统,并给出了PKUAS与其他几种反射式中间件的比较.该工作有效地解决了现阶段反射式中间件研究的不足,提高了反射式中间件的实用性.

关键词：构件中间件反射性软件体系结构 J2EE

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：