【摘 要】
：
在基于构件开发的软件工程 (CBSE)中，许多大型的、复杂的软件系统是在一个基本系统的基础上，通过组装机制将构件插入到基本系统中的。这样的开发模式大大提高了软件的生产效率
论文部分内容阅读
在基于构件开发的软件工程 (CBSE)中，许多大型的、复杂的软件系统是在一个基本系统的基础上，通过组装机制将构件插入到基本系统中的。这样的开发模式大大提高了软件的生产效率。然而，那些插入到基本系统中的构件是由不同的开发人员在不同的开发环境下用不同开发工具开发而成。当这些不同的构件组合的时候，它们之间的相互影响就可能会导致影响系统正常功能的非预期交互问题，即特征交互问题。那么，怎样识别和检测这些问题成为我们首要解决的问题。而形式化方法作为检测特征交互问题的有效方法之一，使得在更为抽象的层次上定义一系列特征变得更加简单，可以有效的验证预期的交互和检测非预期的交互。
本研究针对这些问题，结合构件接口的特点和形式化方法，提出了一个基于谓词逻辑和演算的构件接口规范。在此规范的基础上，给出了构件组装过程中特征交互问题的检测方法。依据构件接口规范的特点以及构件组装过程动作交互存在与否，将检测方法分为了两个层次：静态层次和行为层次。在静态层次上，提出基于谓词逻辑的绑定组装中特征交互问题的检测方法，主要考虑的是构件约束条件间的一致性问题。而在行为层次，提出基于-演算和μ-演算的连接组装中特征交互问题的检测方法，主要表现为组装时候构件行为交互产生的冲突问题。针对这些检测方法，给出了基于email系统中特征交互问题检测的实例研究。
其他文献
随着我国经济的快速发展和人民生活水平的提高，人们对现代交通的要求也越来越高，因此智能交通系统(ITS)成为发展现代交通的重要趋势。交通场景中的运动目标检测和分类技术是智
本文通过图像分割技术实时监测整个中药贴剂的生产流程,分析在线采集的贴剂图像的灰度特征、找到贴剂均匀度的影响因素,以此来实现经皮给药系统的自动化生产。其中通过图像分
随着计算机网络技术、信息技术的发展以及制造企业所处市场环境的变化,使得传统的项目管理模式不能适应当今社会的发展和需求。因此,构建一个支持分布式的、基于动态联盟的分
考生在高考后对大学专业的选择是其职业生涯的起点。根据考生自身的特性,选择适合他们的专业是促进其日后职业发展的前提。本文尝试用数据挖掘算法来发现规律,将数据挖掘算法
伴随着Web2.0的不断发展，互联网上论坛、社区、博客、评论专栏等互动平台中的评论信息迅速增长，这些网络评论反映了人们对于特定产品，事件、政策的态度，其社会影响力越来越大。研
随着视频电话等多媒体应用的增多和无线通讯设备的推广,在无线Ad Hoc网络上传输多媒体业务具有良好的应用前景。传输多媒体业务需要网络提供服务质量(QoS)保证,要求在网络中
随着图像处理技术迅猛发展,人们能够更好治疗某些疾病以及愈后恢复情况的及时监控,从而使得诊疗水平得到极大的改善。图像计算机系统的建立,可以对眼底很多组织进行定量测量
随着Web服务的发展和网络上的数据量呈几何式的增长,人们认识到将关系数据库和信息检索的技术融合到一起可以给用户提供更高效的信息检索服务。论文讨论了在关系数据库上进行
基于系统工程方法,使用数据挖掘聚类方法,对大学生心理健康做详细的分析和研究。本文阐述了聚类分析算法的发展和应用,应用了聚类分析中常用的距离公式和聚类的准则函数,并对
随着习近平主席“一带一路”战略构想的提出,与此同时,国内电子商务迅猛发展,我国的物流产业也随之进入高速发展期。但是目前物流的组织化程度低、配送路径不佳等直接关系到