面向Agent软件开发方法ODAM及其支撑工具的设计与实现

论文摘要

面向Agent软件工程被视为是一种可有效支持复杂系统开发的新颖软件开发范型。近年来,人们提出了许多面向Agent的软件开发方法以指导多Agent系统的分析和设计。但是现有的方法存在诸多的局限和不足,包括:(1)不能有效的对多Agent系统的复杂环境进行建模和分析;(2)无法有效地对复杂系统的动态性和自适应性进行建模和分析。(3)缺乏有效的CASE工具的支持。本文提出了一种针对自适应系统的面向Agent软件开发方法学ODAM。ODAM以动态绑定机制作为自适应多Agent系统的核心机制,借助于组织学的概念和思想对自适应多Agent系统进行高层抽象和自然建模,以管理和控制系统的复杂度;集成了迭代开发和MDA方法以适应Agent技术平台的多样性,简化复杂自适应系统的开发。论文介绍了ODAM开发方法学及其CASE工具ODAMTools的研究与开发,重点介绍了我们在组织场景建模方面所取得的研究成果。ODAMTools由模型编辑器和模型检查器二部分组成,论文详细介绍了基于ODAM的模型检查规则、ODAMTools设计和实现的关键技术。最后通过一个具体的案例分析,以验证技术的有效性。

论文目录

• 摘要
• ABSTRACT
• 第一章 绪论
• 1.1 课题背景
• 1.1.1 应用需求
• 1.1.2 技术现状
• 1.2 论文目标、内容及成果
• 1.3 论文概述
• 第二章 ODAM方法学
• 2.1 案例描述
• 2.2 方法学概述
• 2.2.1 需求阶段
• 2.2.2 分析阶段
• 2.2.3 体系结构设计阶段
• 2.2.4 详细设计阶段
• 2.3 组织场景建模和分析
• 2.4 建模语言
• 2.4.1 元模型
• 2.4.2 系统建模和建模语言
• 2.5 小结
• 第三章 ODAM模型检查规则
• 3.1 ODAM模型的一致性和约束及其检查
• 3.2 模型内部规则
• 3.2.1 组织场景模型
• 3.2.2 角色交互模型
• 3.2.3 角色行为模型
• 3.2.4 角色变迁模型
• 3.2.5 组织结构模型
• 3.3 模型间规则
• 3.3.1 组织结构模型与与角色交互模型、角色变迁模型间的一致性
• 3.3.2 组织结构模型与角色行为模型间的一致性
• 3.4 小结
• 第四章 CASE工具ODAMTools的设计与实现
• 4.1 相关技术介绍
• 4.1.1 GEF介绍
• 4.1.2 RCP介绍
• 4.2 CASE工具ODAMTools的设计与实现
• 4.2.1 开发目标
• 4.2.2 总体框架和工作流程
• 4.3 模型编辑工具
• 4.3.1 组织场景模型编辑工具的设计与实现
• 4.3.2 角色交互模型编辑工具的设计与实现
• 4.3.3 角色变迁模型编辑工具的设计与实现
• 4.4 模型检查工具
• 4.4.1 模型存储类SaveProjectInXMLAction的设计与实现
• 4.4.2 模型检查类ModelCheckingAction的设计与实现
• 4.5 软件界面框架和辅助功能
• 4.6 小结
• 第五章 案例分析
• 5.1 案例分析
• 5.1.1 需求阶段
• 5.1.2 分析阶段
• 5.1.3 概要设计阶段
• 5.1.4 详细设计阶段
• 5.2 ODAMTools建模和模型检查的结果
• 5.3 小结
• 第六章 结束语
• 致谢
• 参考文献
• 作者在学期间取得的学术成果