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

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

作者：张夏彭鑫赵文耘复旦大学计算机科学与工程系软件工程实验室上海 200433

体系结构的运行时动态演化已经成为许多软件系统的根本需求,而支持动态体系结构的运行平台和实现框架是其中的关键问题。本文在课题组前期开发的基于Java的请求/调用式构件组装工具BSAppBuilder基础上,借助动态AOP技术,提出了一种基于AO... 详细信息

体系结构的运行时动态演化已经成为许多软件系统的根本需求,而支持动态体系结构的运行平台和实现框架是其中的关键问题。本文在课题组前期开发的基于Java的请求/调用式构件组装工具BSAppBuilder基础上,借助动态AOP技术,提出了一种基于AOP的动态体系结构实现方法。该方法包括了进行运行环境监控的传感器以及执行演化控制的控制中心。在演化实现机制上,该方法利用Aspect的动态织入技术实现构件间连接关系的动态改变。本文还通过一个针对系统运行负载监控的动态演化实例展示了该方法的有效性。

关键词：动态体系结构软件开发 AOP 在线演化

来源：评论

学校读者我要写书评

暂无评论

基于构件组装的Web应用开发方法

基于构件组装的Web应用开发方法

引用

2005’全国软件与应用学术会议(NASAC)

作者：叶菲赵文耘彭鑫张志复旦大学计算机科学与工程系软件工程实验室上海200433

本文把构件组装的思想引入到Web应用的开发中,提出了一种J2EE体系结构下基于构件组装的Web应用开发方法.该方法在Web层使用动作映射模型和转发映射模型来实现页面控制流建模,同时引入服务接口层作为门面向Web层提供业务服务,而业务层构... 详细信息

本文把构件组装的思想引入到Web应用的开发中,提出了一种J2EE体系结构下基于构件组装的Web应用开发方法.该方法在Web层使用动作映射模型和转发映射模型来实现页面控制流建模,同时引入服务接口层作为门面向Web层提供业务服务,而业务层构件则按照服务接口层的需要进行组装.这样就可以分别对Web层和业务层进行建模,然后通过服务接口层把各个层次的构件组装成一个完整的可部署的Web应用.

关键词：构件组装 Web应用开发方法 CABWD方法动作映射模型转发映射模型

来源：评论

学校读者我要写书评

暂无评论

一个支持构件演化和变更管理的配置管理工具

一个支持构件演化和变更管理的配置管理工具

引用

2005’全国软件与应用学术会议(NASAC)

作者：彭鑫赵文耘吴毅坚复旦大学计算机科学与工程系软件工程实验室上海200433

配置管理可以为软件产品的有序演化提供保障,而基于构件的软件开发(CBSD)对配置管理提出了新的要求.本文介绍了一个新的配置管理工具FDSCM,并对该工具在版本管理、变更管理和构件演化支持三个方面对CBSD的配置管理支持进行了探讨,重点... 详细信息

配置管理可以为软件产品的有序演化提供保障,而基于构件的软件开发(CBSD)对配置管理提出了新的要求.本文介绍了一个新的配置管理工具FDSCM,并对该工具在版本管理、变更管理和构件演化支持三个方面对CBSD的配置管理支持进行了探讨,重点论述了变更管理与版本管理的集成、构件的版本管理以及配置管理对构件开发视图和复用视图的支持等关键技术.

关键词：配置管理软件开发构件演化变更管理版本管理

来源：评论

学校读者我要写书评

暂无评论

一种支持时序图恢复的逆向工程方法

一种支持时序图恢复的逆向工程方法

引用

2005’全国软件与应用学术会议(NASAC)

作者：张亮赵文耘彭鑫夏宽理复旦大学计算机科学与工程系软件工程实验室上海200433

逆向工程在软件维护和软件再工程中占据着重要的地位.在逆向工程中,遗产系统的静态结构信息容易恢复,而获取动态行为特征则较为困难.而且在获取行为特征时,仅仅采用动态分析或者静态分析均不能得到理想的结果.本文提出一个综合运用动态... 详细信息

逆向工程在软件维护和软件再工程中占据着重要的地位.在逆向工程中,遗产系统的静态结构信息容易恢复,而获取动态行为特征则较为困难.而且在获取行为特征时,仅仅采用动态分析或者静态分析均不能得到理想的结果.本文提出一个综合运用动态分析和静态分析恢复时序图的逆向工程方法.该方法使用AOP技术生成系统的运行日志,并结合对源代码的静态扫描,抽取遗产系统动态行为信息,并进行逆向建模,生成UML时序图.

关键词：逆向工程遗产系统时序图恢复 UML时序图

来源：评论

学校读者我要写书评

暂无评论

一个基于软件配置管理的过程管理框架

一个基于软件配置管理的过程管理框架

引用

2004’全国软件与应用学术会议(NASAC)

作者：彭鑫赵文耘张志复旦大学计算机科学与工程系软件工程实验室上海200433

在软件质量体系的诸多支持活动中,配置管理处于核心地位.基于配置管理进行过程控制可以提高过程管理的有效性.引入过程模式的思想,在此基础上提出了一个基于配置管理的过程管理框架.这个框架以各种抽象层次上的子系统和构件为过程管理单... 详细信息

在软件质量体系的诸多支持活动中,配置管理处于核心地位.基于配置管理进行过程控制可以提高过程管理的有效性.引入过程模式的思想,在此基础上提出了一个基于配置管理的过程管理框架.这个框架以各种抽象层次上的子系统和构件为过程管理单位,在过程模型层、小组协作层和个人活动层三个层次上进行过程控制,并分别采取不同的过程控制策略,提高了配置管理和过程管理的有效性与灵活性.

关键词：配置管理软件过程过程管理软件质量

来源：评论

学校读者我要写书评

暂无评论

基于领域语义的分层Web服务组装方法

基于领域语义的分层Web服务组装方法

引用

中国计算机学会软件工程专委会2006年年会

作者：龚嘉彭鑫赵文耘复旦大学计算机科学与工程系软件工程实验室上海200433

通过描述Web服务的领域特征,开发者可以复用领域模型进行Web服务的组装.如何从抽象的领域模型中得到具体的服务组装模型成为当前研究的热点之一.本文提出一种基于领域语义的、在逻辑和物理两个层次进行Web服务组装的方法:在逻辑层次上,... 详细信息

通过描述Web服务的领域特征,开发者可以复用领域模型进行Web服务的组装.如何从抽象的领域模型中得到具体的服务组装模型成为当前研究的热点之一.本文提出一种基于领域语义的、在逻辑和物理两个层次进行Web服务组装的方法:在逻辑层次上,把领域模型转化成由通用服务构成的通用服务组装模型;在物理层次上,完成从抽象的通用服务组装模型到具体的组装实现模型的转化.该方法使得两个层次的细化分工明确,充分体现了复用的思想,也使Web服务组装更加有效.

关键词： Web服务 Web服务组装领域工程领域特征领域模型

来源：评论

学校读者我要写书评

暂无评论

基于线性时序逻辑的动态软件体系结构模型验证

基于线性时序逻辑的动态软件体系结构模型验证

引用

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

作者：唐姗彭鑫赵文耘刘奕明复旦大学计算机科学与工程系软件工程实验室上海 200433

如何有效地保证软件体系结构能够正确地进行动态演化是目前软件工程领域中一个亟待解决的问题。模型验证是一种关于系统性质验证的算法方法,它通常采用状态空间搜索的方法来检查一个给定的计算模型是否满足用某个时序逻辑公式描述的特... 详细信息

如何有效地保证软件体系结构能够正确地进行动态演化是目前软件工程领域中一个亟待解决的问题。模型验证是一种关于系统性质验证的算法方法,它通常采用状态空间搜索的方法来检查一个给定的计算模型是否满足用某个时序逻辑公式描述的特定性质。模型验证的复杂性主要依赖于系统状态空间大小,所以模型验证方法所面临的最大问题是状态空间爆炸和内存不足。针对大规模动态软件体系结构模型验证方法的不足,本文提出了一种基于线性时序逻辑的模块化模型验证方法,从系统组成模块和整体系统两个不同层次探讨了验证动态软件体系结构的方法,给出了相应的实现算法,并结合实例说明了本方法的实用性。

关键词：动态软件体系结构模型验证线性时序逻辑自动机

来源：评论

学校读者我要写书评

暂无评论

协作策略驱动的构件组合行为提取

协作策略驱动的构件组合行为提取

引用

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

作者：刘奕明彭鑫赵文耘唐姗复旦大学计算机科学与工程系软件工程实验室上海 200433

构件组合系统的行为通过构件之间的交互来体现。而构件交互遵循的协作策略往往决定组合系统所具有的性质,如安全性,活性和公平性等。因此,如何从构件交互中提取遵循特定构件交互策略的构件组合行为,从而使系统具有某种良好性质就成为了... 详细信息

构件组合系统的行为通过构件之间的交互来体现。而构件交互遵循的协作策略往往决定组合系统所具有的性质,如安全性,活性和公平性等。因此,如何从构件交互中提取遵循特定构件交互策略的构件组合行为,从而使系统具有某种良好性质就成为了一个亟待解决的问题。在使用接口自动机网络建模构件组合系统和线性时序逻辑描述构件协作策略的基础上,本文提出了一种策略满足的构件组合行为提取方法。该方法首先将用户指定构件协作策略强加于组合系统的行为模型之上,然后从结果模型中提取可接受执行路径;最后,基于提取行为构造协作环境,驱动构件以一种无死锁、协作策略满足的方式一同工作,从而使组合系统具有良好的属性。为了说明方法的正确性和有效性,我们给出了一个实例证明。

关键词：软件开发构件组合系统行为提取接口自动机

来源：评论

学校读者我要写书评

暂无评论

面向特征的Web服务角色访问控制

面向特征的Web服务角色访问控制

引用

中国计算机学会软件工程专委会2006年年会

作者：蔡耀华彭鑫赵文耘复旦大学软件学院上海200433 复旦大学计算机科学与工程系软件工程实验室上海200433

本文在基于角色的Web服务访问控制模型基础上,提出了一个面向特征的Web服务角色访问控制模型.该模型引入特征作为基本的访问控制单元,它可以同时从任务角度和从系统角度来保护资源,解决了以前无法同时兼顾信息的机密性和数据的完整性的... 详细信息

本文在基于角色的Web服务访问控制模型基础上,提出了一个面向特征的Web服务角色访问控制模型.该模型引入特征作为基本的访问控制单元,它可以同时从任务角度和从系统角度来保护资源,解决了以前无法同时兼顾信息的机密性和数据的完整性的问题,从而加强访问控制的控制力度和安全性.

关键词： Web服务访问控制特征角色安全

来源：评论

学校读者我要写书评

暂无评论

使用程序聚类技术的模块重构风险分析方法

引用

计算机科学与探索 2012年第6期6卷 513-521页

作者：朱天梅吴毅坚彭鑫赵文耘复旦大学计算机科学技术学院软件工程实验室上海201203

随着软件系统的演化,其模块化结构会逐渐退化。软件重构是调整系统结构的重要手段,但哪些模块最需要重构却难以预测。提出了一种基于程序聚类技术的模块重构风险分析方法,该方法通过对目标系统进行结构聚类和语义聚类获得其参考模块化结... 详细信息

随着软件系统的演化,其模块化结构会逐渐退化。软件重构是调整系统结构的重要手段,但哪些模块最需要重构却难以预测。提出了一种基于程序聚类技术的模块重构风险分析方法,该方法通过对目标系统进行结构聚类和语义聚类获得其参考模块化结构,然后比较现实模块化结构与参考模块化结构之间的差异,对程序模块的设计质量进行评价,识别出系统中重构风险较高的模块。实验以三个开源软件的演化历史作为研究对象,与传统的模块化度量方法进行了比较,结果表明采用所提方法获得的预测结果与实际重构活动有较好的吻合度,从而验证了该方法的有效性。

关键词：重构风险软件模块化程序聚类软件度量软件质量

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：