导读:本文包含了构件替换论文开题报告文献综述及选题提纲参考文献，主要关键词:基于构件的软件工程,构件替换性,构件自动机,形式化分析
构件替换论文文献综述
任洪敏,刘晋[1]（2012）在《基于行为协议的构件替换性分析》一文中研究指出构件的插拔与替换是CBSD实现组装开发、支持定制和演化的基本机制,基于行为协议的构件替换性分析与验证是CBSD的核心研究课题。基于有穷自动机理论和面向服务软件构件的特点,提出了构件行为自动机模型以描述构件的行为协议,定义了构件行为替换性的概念体系,以增进软件构件的复用,开发了构件行为替换性的验证方法,以支持构件行为替换性验证的自动执行。(本文来源于《计算机工程与科学》期刊2012年12期）
张敬周,任洪敏,宗宇伟,钱乐秋,朱叁元[2]（2010）在《基于行为自动机的构件可替换性分析与验证》一文中研究指出在交互协议层面讨论构件的可替换性,采用非确定性有限状态自动机(nondeterministic finite automata,简称NFA)来建模构件的交互行为,在保证交互兼容性的前提下,提出了按构件环境的透明度和构件交互的变化度两维划分的可替换性模型,给出了4类可替换性的形式化定义及其之间的关系,并基于NFA理论给出了相关的验证算法.另外,该模型以构件的替换行为而不是其全部行为作为构件替换的参照,从而使替换时有更多的候选构件可供使用,提高了构件复用的几率.(本文来源于《软件学报》期刊2010年11期）
陈静慰[3]（2008）在《基于语义的构件动态替换技术研究》一文中研究指出随着信息技术的不断发展,构件技术越来越受到广泛关注。同时,基于构件的系统的动态演化需求也在增加,这使得构件动态替换技术的要求被提到一个新的高度。但是,传统的构件技术不能很好地描述构件,特别是构件运行时的信息,这为动态替换的实现带来了难点。针对这些问题,本文引入了语义构件的概念,并对此进行了深入分析。首先,本文介绍了一种语义构件模型,并对其进行了扩展。该模型针对五个不同的视图对构件进行了全面的描述,为动态替换提供了必要的运行时信息。在语义构件模型的基础上提出了构件本体模型,为构件替换提供了可参考模型。然后我们对动态替换关注的行为视图和交互视图以及相应的行为本体和交互本体进行了深入分析。其次,本文介绍了构件动态替换的正确性约束,即系统一致性问题。介绍了行为一致性、引用一致性、状态一致性等,并对行为一致性进行详细的剖析,解释为什么事务完整性是保证行为一致性的关键。第叁,利用上面提出的语义构件模型,提出了相应的构件动态替换算法。这种算法把粒度由传统的整个构件细化到构件的端口,粒度更加合理,具有较高的性能。并且该算法在运行环境提供的部分功能支持下保证了动态替换的系统一致性约束。最后介绍了一个基于语义构件模型的原型系统JTangComponent。该系统实现了构件的注册、分类、检索以及构件的组装和动态替换。(本文来源于《浙江大学》期刊2008-05-01）
构件替换论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
在交互协议层面讨论构件的可替换性,采用非确定性有限状态自动机(nondeterministic finite automata,简称NFA)来建模构件的交互行为,在保证交互兼容性的前提下,提出了按构件环境的透明度和构件交互的变化度两维划分的可替换性模型,给出了4类可替换性的形式化定义及其之间的关系,并基于NFA理论给出了相关的验证算法.另外,该模型以构件的替换行为而不是其全部行为作为构件替换的参照,从而使替换时有更多的候选构件可供使用,提高了构件复用的几率.
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
构件替换论文参考文献
[1].任洪敏,刘晋.基于行为协议的构件替换性分析[J].计算机工程与科学.2012
[2].张敬周,任洪敏,宗宇伟,钱乐秋,朱叁元.基于行为自动机的构件可替换性分析与验证[J].软件学报.2010
[3].陈静慰.基于语义的构件动态替换技术研究[D].浙江大学.2008