【摘 要】
:
随着对软件系统的连续运行性要求的提高,构件的动态演化逐渐成为研究热点,而保证构件系统的行为一致性是构件动态演化的首要问题和根本目标。不受约束的系统行为改变可能导致
论文部分内容阅读
随着对软件系统的连续运行性要求的提高,构件的动态演化逐渐成为研究热点,而保证构件系统的行为一致性是构件动态演化的首要问题和根本目标。不受约束的系统行为改变可能导致系统出错,因此在演化中引入某些约束条件以保证行为的一致对于系统正确运行有着十分重要的意义。本文对构件动态演化中的行为一致性进行了深入研究。首先,分析了构件动态演化和行为协议方面的相关研究,指出构件动态演化在验证构件间协议级行为兼容性和完整性方面的不足,阐述了课题研究的意义,论述了课题的研究内容,给出了相关的理论知识。其次,在总结已有的动态演化和行为协议研究的基础上,提炼出动态演化系统中共有的行为一致性。通过分析行为一致性应满足的约束条件,提出了一种基于进程代数的构件模型,形式化描述了构件及其对外交互协议,引入了对外主动请求接口和内部连接,并为行为协议构造了直观的状态变迁图。再次,利用所提出的构件模型,结合进程代数中行为无死锁的定义和观察等价理论,形式化定义了构件接口行为兼容性和对外交互行为一致性;为了定义系统中需要保证完整性的行为序列的边界,引入了事务概念,对运行时行为的完整性进行了形式化的定义。最后,根据行为一致性的形式化定义,给出了验证的规则和相关定理并提出了验证算法。通过一个构件化系统的实例验证了所提出途径的可行性和正确性。
其他文献
Ad Hoc网络是一个多跳的、自组织、无中心的网络,由一组带有无线收发装置的移动终端组成,无需任何固定的基础设施便能实现网络的快速部署,因此适用于救援、会议、探险、军事
随着语义Web的发展,利用已有的数据资源构建本体受到越来越多的重视。资源描述框架(RDF)及其模式语言(RDF Schema)在语义Web中占有非常重要的地位。目前,RDF(S)已被广泛地应
数据挖掘是一个令人兴奋而且生机勃勃的研究领域,尤其是数据流挖掘,近年来也已经得到了广泛关注。由于数据流的特点是时变和实时响应,因此现有的挖掘算法无法直接应用于数据流。
随着Internet的迅猛发展,陆续出现众多面向分发的应用,其数据源具有分布性、多样性、自治性和异构性,用户则具有大规模和数据需求的高度重叠性,数据流则呈现出从源到消费者的非对
随着网络信息的爆炸性增长,人们在网上查询自己所需要信息的难度变得越来越大,搜索引擎的出现在某种程度上缓解了这个矛盾。独立的搜索引擎分布在不同领域、不同地方为用户提
随着我国改革开放进程的不断深入和经济社会的发展,现代高等职业教育的发展已经进入了一个新的时期。高等职业学校是技术人才培养、社会服务的重要基地,高校教师是培养人才、承担科研、教改的主力军。伴随高职院校聘任制度的全面开展,高职教师岗位聘任与绩效考核成为高职院校人事改革的重要内容。而现在大部分高职院校对教师的绩效考核都是由领导或部分专家打分与学生考核简单的线性加权完成的,考核的结果直接影响着教师的职称评
自然语言处理是人工智能的一个重要研究领域。它是利用计算机进行语言知识的获取、表示以及应用的技术,为人和计算机之间的信息交流提供高效、便捷的方法。自然语言处理技术已
软件工程学的奠基人Dijkstra早在1968年就提出:软件工程师不仅要关注系统的功能,还需要理解软件的结构。但随着软件规模的不断扩大,软件系统中大量元素及其之间错综复杂的交互
随着Internet的快速发展,Web数据库得到了广泛的应用,越来越多的普通用户通过查询接口访问Web数据库以获取更多信息。当前,数据库查询处理模式通常假定了用户能够明确其查询
随着第三代移动通信(3G)网络应用的普及和发展,其自身的安全问题也日益受到人们的广泛关注。GTP协议作为3G核心网中最为重要的一种IP承载和隧道封装协议,其自身没有采用任何