导读:本文包含了构件交互论文开题报告文献综述及选题提纲参考文献，主要关键词:体系结构分析设计语言,构件交互自动机,Z语言,模型转换
构件交互论文文献综述
李揭阳,李勇,张福高[1]（2017）在《基于构件交互自动机的AADL模型转换方法研究》一文中研究指出构件交互自动机(Component-Interaction Automata,Co-IA)是扩展了构件之间交互描述的自动机。体系结构分析设计语言(Architecture Analysis and Design Language,AADL)是一种基于构件的半形式化体系结构分析和设计语言,是嵌入式系统体系结构建模和设计的标准,但无法直接进行形式化模型的检测工作。为了形式化描述系统交互过程中产生的大量数据,更好地描述模型中的状态集合、状态变迁和数据约束的性质,在构件交互自动机研究和发展的基础上,提出了一种扩充的构件交互自动机,将形式化规格说明语言Z引入构件交互自动机Z-Co IA,描述模型中包含状态和状态变迁。为检测与验证所建立的模型,基于具体实例进行了由AADL模型向经扩充的构件交互自动机模型的转换。验证结果表明,所提出的方法推动了AADL的形式化进程。(本文来源于《计算机技术与发展》期刊2017年07期）
戴欣,李良明[2]（2012）在《构件交互测试技术的研究》一文中研究指出基于构件的开发通过对已有构件的复用减少系统开发费用并可获得高质量的软件,这要求每个组成系统的构件都提供可靠的服务,因此构件测试的作用至关重要。通过对构件交互测试研究现状的总结分析,提出一种构件交互测试的方法,用构件交互图(CIG)来表示构件交互模型,并提出相应的测试准则。(本文来源于《硅谷》期刊2012年06期）
王丹,常建生,赵文兵[3]（2012）在《使用Pi演算的构件交互可信性验证模型》一文中研究指出为验证基于构件的软件系统中构件间交互的可信性,将统一建模语言(unified modeling language,UML)与Pi演算理论相结合,提出了一个软件构件间交互的可信性验证模型。在构件行为分析的基础上,利用抽取规则抽取Pi演算语义来描述构件的行为。进一步利用Pi演算的操作语义推演构件间的实际交互行为。将得到的实际交互行为与预期交互行为比对,可判断构件交互的可信性。最后,通过实例对该模型的具体应用进行了阐述。该模型能够对基于构件的软件系统中任意两个相互交互的构件之间交互的可信性进行验证,为判断该类系统中构件间交互的可信性提供了有效方法。(本文来源于《计算机科学与探索》期刊2012年05期）
万烂军,李长云[4]（2012）在《构件交互行为监测需求管理机制的研究》一文中研究指出在开放网络环境中,鉴于分布式软件规模庞大且交互行为错综复杂,为有效控制交互行为监测的粒度、维度和强度,给出了监测需求管理机制,设计了构件反射器,能支持动态配置、自主调整和自动部署监测需求,提高了监测的可控性、自主性和可用性;在此基础上实现了该监测需求管理机制并应用于分布式电子商务网站中,结果表明该机制是有效的。(本文来源于《计算机工程与应用》期刊2012年16期）
何涛,徐守祥,梁永生,李华忠[5]（2011）在《网络软件构件交互的形式化研究》一文中研究指出本文分析了lnternet计算环境的网络软件构件特点,指出网络构件不匹配的原因及解决方法.并采用形式化方法描述、建模和推导与构件以及构件组装相关的问题,同时借鉴π演算的类型系统和构造方法,提出构件交互的类型系统和基于交互的构件模型和框架。克服了在构件集成过程中,构件接口交互语义难以描述的问题,为构件组装形式化分析、组装正确性检验提供了保证。(本文来源于《Proceedings of 2011 International conference on Intelligent Computation and Industrial Application(ICIA 2011 V2)》期刊2011-06-18）
万灿军,李长云[6]（2011）在《基于动态AOP的构件交互行为监测器》一文中研究指出在开放、动态的网络环境中,分布式软件呈现出规模庞大、松散聚合、行为复杂等特点,为有效监测其交互行为,提出了基于动态AOP的监测器模型,使得监测器能以更为灵活、松散、透明的方式融入目标系统;利用动态织入机制,能在目标系统运行过程中动态增加或删除监测器,提高了监测的动态性;并在此基础上实现了该监测器并应用于分布式电子商务应用系统中,结果表明该监测器是可行的。(本文来源于《计算机应用》期刊2011年02期）
何涛,徐守祥,梁永生,李华忠[7]（2010）在《网络软件构件交互的形式化研究》一文中研究指出本文分析了lnternet计算环境的网络软件构件特点,指出网络构件不匹配的原因及解决方法.并采用形式化方法描述、建模和推导与构件以及构件组装相关的问题,同时借鉴π演算的类型系统和构造方法,提出构件交互的类型系统和基于交互的构件模型和框架。克服了在构件集成过程中,构件接口交互语义难以描述的问题,为构件组装形式化分析、组装正确性检验提供了保证。(本文来源于《Proceedings of 2010 Second International Conference on E-Learning, E-Business, Enterprise Information Systems, and E-Government (EEEE 2010) Volume 2》期刊2010-09-04）
祁华成,张广泉,章晓芳[8]（2009）在《一种行为驱动的构件交互适配模型》一文中研究指出软件构件化是提高软件开发效率和降低重复性劳动的重要途径之一,但一直面临着构件实体之间的行为交互失配问题。对此,构造了一个构件行为本体,其中包括构件体、构件行为及构件行为性质,并根据构件行为本体提出了构件交互适配模型。在该模型中,依据构件行为性质将构件集合划分成不同的构件组,利用构件组内复合行为的完整性探测构件交互死锁,并通过自定义行为规则适配构件交互死锁。最后,对构件组与适配器之间的一一对应关系进行证明。(本文来源于《计算机工程与应用》期刊2009年21期）
严鲁明[9]（2009）在《基于构件相关性的构件交互冲突检测研究》一文中研究指出基于构件的软件开发作为一种新的软件开发方式在软件开发过程中得到了广泛的使用。该方法通过对已有构件的组装来开发新的应用软件,而应用软件的功能是通过其内部组成构件之间的交互来实现的。构件是由不同构件开发者封装,能够完成特定功能的基本单元,其开发过程与具体应用软件的开发是相互独立的,软件开发人员在使用构件时并不需要了解构件内部的具体运行机制。因此,在构件的组装交互过程中,构件之间可能因为某些因素产生相互影响,导致应用系统表现出非期望的行为,也就是构件交互冲突问题。如何很好的解决构件交互冲突问题在基于构件的软件开发中具有重要的意义。构件交互冲突的产生不仅与构件的内部实现有关,而且和构件之间的交互连接方式密切相关。形式化检测技术对于构件交互冲突的检测具有很好的效果,但是该方法目前受到“组合状态爆炸”等诸多问题的制约。因此本文在已有构件系统扩展的前提下,对构件交互冲突问题以及其相关影响因素进行了研究,提出了一种新的构件交互冲突检测方法。文本首先对构件的模型以及构件的交互过程进行分析和总结,将构件的交互连接方式概括为四种基本交互类型,并对每种类型的交互进行了抽象描述的分析。其次,本文针对构件之间的相关性进行研究,提出了构件系统接口矩阵的概念,通过接口矩阵在更细的粒度上对构件之间的交互关系进行描述;并提出了一种基于接口矩阵的构件相关性检测方法,通过该方法可以在构件系统变化时,检测出系统中可能发生冲突的构件,从而缩小了系统构件的检测范围,减小了“组合状态爆炸”等问题的影响,也避免了一些不必要的假设。最后,本文提出了一种新的构件交互冲突检测方法,该方法利用了构件的相关性检测精简状态空间,并根据构件的交互方式进行了特征冲突检测;同时本文还利用了一个电子邮件客户端系统进行了相关实验和分析,对该方法的有效性进行了验证。(本文来源于《合肥工业大学》期刊2009-04-01）
杨智,任志宇,陈性元,张斌[10]（2008）在《基于NDIS的IPSec构件交互机制研究与改进》一文中研究指出研究了基于NDIS的IPSec的典型实现,针对内核模式的ESP(AH)与用户模式的IKE交互存在的问题,在分析目前交互技术的基础上提出了一种新的交互方法,它基于同步机制,通过安全策略状态扩展实现,具有交互实时性较好、效率较高和实现简单特点.(本文来源于《微电子学与计算机》期刊2008年03期）
构件交互论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
基于构件的开发通过对已有构件的复用减少系统开发费用并可获得高质量的软件,这要求每个组成系统的构件都提供可靠的服务,因此构件测试的作用至关重要。通过对构件交互测试研究现状的总结分析,提出一种构件交互测试的方法,用构件交互图(CIG)来表示构件交互模型,并提出相应的测试准则。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
构件交互论文参考文献
[1].李揭阳,李勇,张福高.基于构件交互自动机的AADL模型转换方法研究[J].计算机技术与发展.2017
[2].戴欣,李良明.构件交互测试技术的研究[J].硅谷.2012
[3].王丹,常建生,赵文兵.使用Pi演算的构件交互可信性验证模型[J].计算机科学与探索.2012
[4].万烂军,李长云.构件交互行为监测需求管理机制的研究[J].计算机工程与应用.2012
[5].何涛,徐守祥,梁永生,李华忠.网络软件构件交互的形式化研究[C].Proceedingsof2011InternationalconferenceonIntelligentComputationandIndustrialApplication(ICIA2011V2).2011
[6].万灿军,李长云.基于动态AOP的构件交互行为监测器[J].计算机应用.2011
[7].何涛,徐守祥,梁永生,李华忠.网络软件构件交互的形式化研究[C].Proceedingsof2010SecondInternationalConferenceonE-Learning,E-Business,EnterpriseInformationSystems,andE-Government(EEEE2010)Volume2.2010
[8].祁华成,张广泉,章晓芳.一种行为驱动的构件交互适配模型[J].计算机工程与应用.2009
[9].严鲁明.基于构件相关性的构件交互冲突检测研究[D].合肥工业大学.2009
[10].杨智,任志宇,陈性元,张斌.基于NDIS的IPSec构件交互机制研究与改进[J].微电子学与计算机.2008
标签：体系结构分析设计语言; 构件交互自动机; Z语言; 模型转换;