【摘 要】
：
软件架构的描述和设计决定了软件的质量和生命。作为方面的横切关注点横跨在多个架构组件中,影响了模块间的内聚性和耦合度,从而降低了软件的可重用性,增加了维护的难度。目前提出的许多架构描述方法均未能对存在的横切关注点进行恰当的描述和定位,所以在软件的架构描述方法中引入了方面的概念机制来解决这些问题。基于IEEE 1471-2000中提出的架构描述概念模型,引入用例视图提出了一种新的面向方面的架构描述概念
【机 构】
：
重庆邮电大学软件学院,重庆邮电大学中韩合作GIS研究所
【基金项目】
：
基金项目：国家“863”计划资助项目（2007AA122238）,重庆教育委员会科技资助项目（KJ040511,J2006-16）
论文部分内容阅读
软件架构的描述和设计决定了软件的质量和生命。作为方面的横切关注点横跨在多个架构组件中,影响了模块间的内聚性和耦合度,从而降低了软件的可重用性,增加了维护的难度。目前提出的许多架构描述方法均未能对存在的横切关注点进行恰当的描述和定位,所以在软件的架构描述方法中引入了方面的概念机制来解决这些问题。基于IEEE 1471-2000中提出的架构描述概念模型,引入用例视图提出了一种新的面向方面的架构描述概念模型。该模型能够在架构描述中精确地描述和处理横切关注点即增加方面这一抽象层,从而提高软件系统的维护性、重
其他文献
提出了一种新的图像中人眼检测算法,在一幅已知的人脸图像中首先采用同态滤波算法增强图像的对比度,然后利用迭代式阈值选择法对图像进行二值化处理,根据传统的先验知识获得眼睛的候选区域。根据眼睛的构造提出了一种基于最小外接矩形的自定义模板来实现眼睛的最终定位并利用区域质心标定出了眼睛区域的中心位置。实验证明,本算法简单实用,能够有效地实施人眼的检测,具有较高的检测精度。
对隐式经验核心概念及性质进行了形式化的定义与分析,提出了一个新的服务发现模型——ICSSD模型,该模型解决了扩展发布机制、基于语义本体及扩充服务规约结构的方法所不能解决的问题。在服务的行为和QoS参数随时间的变化而不断变化的过程中,服务的功能与非功能特性的表现和控制问题得到一种可行的解决方案。SR-Service服务推荐系统的开发实践表明,ICSSD模型有效提高了服务发现的效率,同时也为Web服务
将软件过程技术与工作流技术相结合,严格定义了SPEM2XPDL模型转换规则,设计并实现了一个SPEM2XPDL模型转换引擎。此引擎将SPEM描述的软件过程转换为符合工作流定义(XPDL)的工作流过程,从而可基于工作流管理系统对软件过程提供执行支持。SPEM模型经引擎转换后在工作流管理系统Shark上的成功执行表明了引擎的可用性。
空间区域的拓扑关系和方位关系是空间推理的重要研究内容,以往的工作集中在单一的空间方面,这不能满足实际应用领域的需要。基于主方位模型给出了主方位关系的形式化定义,考虑到拓扑与方位间的相互依赖关系,提出了结合拓扑和方位的定性表示与推理算法,能够处理多方面空间信息,在空间数据库和机器人导航等领域具有实际应用价值。
针对Internet遥操作中的变时延问题,介绍现有的解决方法,并在分析目前普遍采用的单TCP连接控制方式局限性的基础上,提出基于多连接的时延控制方案。该方法避免了单连接控制方式产生的时延连锁累积问题,能在一定程度上减小平均时延和最大时延,并能保证其在一定范围内平稳波动。最后,通过控制单向变时延的实验,证明了该方法的有效性和可行性。
如何提高存储子系统的I/O性能一直以来都是计算机领域的一个研究热点,而目前提高存储子系统的I/O性能的一个最大障碍就是负载不均衡。提出了一种采用基因表达式编程(GEP)来实现基于分条技术的磁盘动态负载均衡的算法。该方法包括基于分条技术的文件划分算法和为实现负载均衡的文件分配算法。该算法采用多基因家族结构的染色体编码来表示物理磁盘组与逻辑磁盘的映射关系。在操作上,采用选择复制、倒置和交换等特殊的搜索
面向方面编程(AOP)允许程序员将跨越多个模块的横切关注行为封装到一个可重用的模块中,极大地增强了系统的可维护性和代码的重用性。但这样的新特性也给测试带来了新的挑战,因为方面与原始模块之间错综复杂的依赖关系可能导致新的错误,从而使得传统的测试方法不能很好适应。以AOP错误模型为基准,对四种具有代表性的AOP测试方法发现错误的能力和有效性进行了深入详细的研究和对比,分析总结了目前面向方面测试技术领域
在深入分析业务流程模型和合理的抽象业务活动基础上,提出了一种基于产生式的流程模型形式化分析方法,并提供了一种从一般流程描述到该模型的转换方法;在此基础上,推导了一系列行之有效的流程属性验证规则,并通过应用实际例子证明了所提出方法的有效性。
物化视图的引入大大提高了决策支持和查询的响应效率,如何进行有效的视图维护成为研究的重点。对现有物化视图维护方法进行了分析,提出了利用多个物化视图的中间结果进行视图维护的思想。首先,结合单位空间增益、空间限制等因素,选择多个物化视图的公共表达式作为中间结果,并提出了确定中间结果集的具体算法;其次,利用已计算出的中间结果集进行多个视图的维护,给出了具体的维护算法;最后,通过分析和实验证明了该算法正确且
针对现有分布式构件技术的不足,提出一种利用Web Service技术对Internet上广泛分布的各种异构构件资源进行有效组织的模型,并在此模型基础上,进一步给出了一种构件资源的有效组织机制。通过原型系统的验证,证明了该模型及资源组织机制的有效性。