包含五个视图。本文对动态替换较为关注行为和交互视图进行了详细分析。其次分析了动态替换必须满足系统致性约束，包括行为致性状态致性应用致性引用致性等。介绍了目前动态替换技术中存在不足。本文对行为致性概念对此进行了深入分析。第三提出了种基于这种模型构件动态替换算法。该算法首先求出影响目标构件构件集合，驱动集合中所有构件进入被动状态，并通过等待方式使目标构件进入稳定状态。然后对构件进行替换操作。最后逐步恢复所有构件到正常运行状态。该算法保证了系统致性，并具有较好性能。最后介绍了基于本文动态替换算法原型系统。本文结构本论文内容和结构安排如下第章介绍本课题背景研究意义和和本文工作。第二章介绍了当前研究现状。分别对构件技术动态替换技术和语义技术进浙江大学硕士学位论文第章绪论行了介绍。第三章介绍了种语义构件模型和它对应本体模型。并对动态替换关注行为模型和交互模型，以图语义构件开发过程图自动取款机构件运行示意图图基于消息连接子进行交互图基于调用连接子进行交互图基于消息事件通知图图构件上层本体图。图构件端口本体。图构件行为本体图构件交互本体图事务图服务示例图传统计算法图本文计算法图复杂系统实例图计算方法图动态替换执行流程图构件注册和分类透视图图构件组装和动态替换透视图图构件注册过程图组装过程图构件组装示意图图动态替换原型系统图动态替换过程图动态替换过程浙江大学硕士学位论文表目录表目录表组装和动态透视图中各视图功能浙江大学研究生学位论文独创性声明本人声明所呈交学位论文是本人在导师指导下进行研究工作及取得研究成果。除了文中特别加以标注和致谢地方外，论文中不包含其他人已经发表或撰写过研究成果，也不包含为获得逝姿盘堂或其他教育机构学位或证书而使用过材料。与我同工作同志对本研究所做任何贡献均已在论文中作了明确说明并表示谢意。学位论文作者签名了东籀憋签字占期≯曷年月日学位论文版权使用授权书本学位论文作者完全了解逝婆盘堂有权保留并向国家有关部门或机构送交本论文复印件和磁盘，允许论文被查阅和借阅。本人授权滥望盘堂可以将学位论文全部或部分内容编入有关数据库进行检索和传播，可以采用影印缩印或扫描等复制手段保存汇编学位论文。保密学位论文在解密后适用本授权书学位论文作喜签名孬稻慰签字日期Ⅵ睥月弓日导师龆东盟签字日期。刃绛莎月日浙江大学硕士学位论文第章绪论第章绪论课题背景些系统必须无间断长期运行，比如导航系统金融系统邮件系统。不管是对提供商还是客户来说，中断这些服务都将带来巨大损失，甚至灾难。因此，新技术发展客户需求功能实现或业务流程改变，都要求软件系统具备动态演化能力，即可以在不停止系统运行情况下，实现软件功能更新。此外，自适应自管理系统也越来越引起人们关注。随着出现与发展，现在基于构件系统，简称所面临环境从静态封闭逐步走向动态开放。从技术角度来看，以软件构件等技术支持软件实体如现在流行服务等以开放自主方式存在于各个节点之上，任何个软件实体可在开放环境下通过种方式加以发布，并以各种协同方式与其他软件实体进行跨网络互连互通协作和联盟捌。应用系统变得越来越难以管理和维护，必须尽可能实现应用系统自动管理。从软件体系结构角度看，所有软件系统，无论多么复杂，都可视为由构件根据定规则连接而成。根据系统具体实现方式，抽象构件概念可能对应着进程对象或者和等分布式构件。组成系统构件，构件物理分布及构件间连接关系等构成了系统配置。在系统运行期间对系统配置进行更改技术就是动态配置。而动态配置主要有构件删除构件添加构件替换构件迁移连接建立连接删除连接重定向和构件属性等方面，其中最关键就是构件替换，亦即动态替换。虽然些场景可停止系统运行来替换构件，动态替换仍是较好选择。因为动态替换期间，系统中仍有部分构件不受影响，可继续为客户服务，这样就把对系统影响降到了最低。研究意义本文研究意义在于浙江大学硕士学位论文第章绪论介绍了构件动态替换中系统致性定义及其分类，并对其中行为致性进行了详细分析。针对传统构件模型对运行时信息描述能力不足，提出了语义构件概念。我们为传统构件加入语义信息，利用这些信息可设计种构件动态替换算法。该算法粒度合理保证了系统致性，并具有较好性能。介绍了基于本文动态替换算法原型系统。本文工作构件描述是构件入库检索组装运行基础和前提。本文介绍了种语义构件，并对它进行了扩展，使其更适合描述构件运行时信息。这种构件语义为我们构件动态替换提供了必要信息，保证了动态替换系统致性高效性。本文研究内容主要有以下几点首先针对传统构件模型对运行时信息描述能力不足，引入并扩展了语义构件模型。该模型基于构件开发及运行过程，包含五个视图。本文对动态替换较为关注行为和交互视图进行了详细分析。其次分析了动态替换必须满足系统致性约束，包括行为致性状态致性应用致性引用致性等。介绍了目前动态替换技术中存在不足。本文对行为致性概念对此进行了深入分析。第三提出了种基于这种模型构件动态替换算法。该算法首先求出影响目标构件构件集合，驱动集合中所有构件进入被动状态，并通过等待方式使目标构件进入稳定状态。然后对构件进行替换操作。最后逐步恢复所有构件到正常运行状态。该算法保证了系统致性，并具有较好性能。最后介绍了基于本文动态替换算法原型系统。本文结构本论文内容和结构安排如下第章介绍本课题背景研究意义和和本文工作。第二章介绍了当前研究现状。分别对构件技术动态替换技术和语义技术进浙江大学硕士学位论文第章绪论行了介绍。第三章介绍了种语义构件模型和它对应本体模型。并对动态替换关注行为模型和交互模型，以浙江大学硕士学位论文参考文献，常继传，李克勤，郭立峰，梅宏，杨芙清青鸟系统中可复用软件构件表示与查询电子学报任洪敏，钱乐秋构件组装及其形式化推导研究软件学报窦蕾面向构件复杂软件系统中动态配置技术研究博士学位论文，国图语义构件开发过程图自动取款机构件运行示意图图基于消息连接子进行交互图基于调用连接子进行交互图基于消息事件通知图图构件上层本体图。图构件端口本体。图构件行为本体图构件交互本体图事务图服务示例图传统计算法图本文计算法图复杂系统实例浙江大学硕士学位论文摘要摘要随着信息技术不断发展，构件技术越来越受到广泛关注。同时，基于构件系统动态演化需求也在增加，这使得构件动态替换技术要求被提到个新高度。但是，传统构件技术不能很好地描述构件，特别是构件运行时信息，这为动态替换实现带来了难点。针对这些问题，本文引入了语义构件概念，并对此进行了深入分析。首先，本文介绍了种语义构件模型，并对其进行了扩展。该模型针对五个不同视图对构件进行了全面描述，为动态替换提供了必要运行时信息。在语义构件模型基础上提出了构件本体模型，为构件替换提供了可参考模型。然后我们对动态替换关注行为视图和交互视图以及相应行为本体和交互本体进行了深入分析。其次，本文介绍了构件动态替换正确性约束，即系统致性问题。介绍了行为致性引用致性状态致性等，并对行为致性进行详细剖析，解释为什么事务完整性是保证行为致性关键第三，利用上面提出语义构件模型，提出了相应构件动态替换算法。这种算法把粒度由传统整个构件细化到构件端口，粒度更加合理，具有较高性能。并且该算法在运行环境提供部分功能支持下保证了动态替换系统致性约束。最后介绍了个基于语义构件模型原型系统。该系统实现了构件注册分类检索以及构件组装和动态替换。关键词构件，语义，构件描述，动态替换浙江大学硕士学位论文。浙江大学硕士学位论文图目录图目录图本体语言栈图图语义构件开发过程图自动取款机构件运行示意图图基于消息连接子进行交互图基于调用连接子进行交互图基于消息事件通知图图构件上层本体图。图构件端口本体。图构件行为本体图构件交互本体图事务图服务示例图传统计算法图本文计算法图复杂系统实例图计算方法图动态替换执行流程图构件注册和分类透视图图构件组装和动态替换透视图图构件注册过程图组装过程图构件组装示意图图动态替换原型系统图动态替换过程图动态替换过程浙江大学硕士学位论文表目录表目录表组装和动态透视图中各视图功能浙江大学研究生学位论文独创性声明本人声明所呈交学位论文是本人在导师指导下进行研究工作及取得研究成果。除了文中特别加以标注和致谢地方外，论文中不包含其他人已经发表或撰写过研究成果，也不包含为获得逝姿盘堂或其他教育机构学位或证书而使用过材料。与我同工作同志对本研究所做任何贡献均已在论文中作了明确说明并表示谢意。学位论文作者签名了东籀憋签字占期≯曷年月日学位论文版权使用授权书本学位论文作者完全了解逝婆盘堂有权保留并向国家有关部门或机构送交本论文复印件和磁盘，允许论文被查阅和借阅。本人授权滥望盘堂可以将学位论文全部或部分内容编入有关数据库进行检索和传播，可以采用影印缩印或扫描等复制手段保存汇编学位论文。保密学位论文在解密后适用本授权书学位论文作喜签名孬稻慰签字日期Ⅵ睥月弓日导师龆东盟签字日期。刃绛莎月日浙江大学硕士学位论文第章绪论第章绪论课题背景些系统必须无间断长期运行，比如导航系统金融系统邮件系统。不管是对提供商还是客户来说，中断这些服务都将带来巨大损失，甚至灾难。因此，新技术发展客户需求功能实现或业务流程改变，都要求软件系统具备动态演化能力，即可以在不停止系统运行情况下，实现软件功能更新。此外，自适应自管理系统也越来越引起人们关注。随着出现与发展，现在基于构件系统，简称所面临环境从静态封闭逐步走向动态开放。从技术角度来看，以软件构件等技术支持软件实体如现在流行服务等以开放自主方式存在于各个节点之上，任何个软件实体可在开放环境下通过种方式加以发布，并以各种协同方式与其他软件实体进行跨网络互连互通协作和联盟捌。应用系统变得越来越难以管理和维护，必须尽可能实现应用系统自动管理。从软件体系结构角度看，所有软件系统，无论多么复杂，都可视为由构件根据定规则连接而成。根据系统具体实现方式，抽象构件概念可能对应着进程对象或者和等分布式构件。组成系统构件，构件物理分布及构件间连接关系等构成了系统配置。在系统运行期间对系统配置进行更改技术就是动态配置。而动态配置主浙江大学硕士学位论文摘要摘要随着信息技术的不断发展，构件技术越来越受到广泛关注。同时，基于构件的系统的动态演化需求也在增加，这使得构件动态替换技术的要求被提到个新的高度。但是，传统的构件技术不能很好地描述构件，特别是构件运行时的信息，这为动态替换的实现带来了难点。针对这些问题，本文引入了语义构件的