| 【中文题名】 | 基于Agent的模型转换方法研究 |
| 【英文题名】 | The Research on Agent-Based Model Transformation |
| 【学科专业】 | 计算机科学与技术 |
| 【论文级别】 | 硕士论文 |
| 【投稿时间】 | 2007-10-18 |
| 【中关键词】 | 组织抽象,面向Agent的软件工程,多Agent系统,模型转换,, |
| 【英关键词】 | Organizational Abstraction,Agent-Oriented Software Engineering,Multi-Agent System,Model Transformation, |
| 【分类导航】 | 工业技术>自动化技术、计算机技术>自动化基础理论>人工智能理论>> |
| 【论文摘要】 |
基于组织抽象的面向Agent软件开发方法借助于组织学和社会学的概念和思想对系统进行分析和建模,将软件系统视为由一个或多个Agent构成的组织,每个Agent在组织中扮演一定的角色,Agent之间通过各种交互机制相互作用,共同实现系统的设计目标。它提供了高层的抽象以实现系统的自然建模,有助于控制系统的复杂性,因而可以有效用于系统的分析和建模。Caste是对一类具有共同结构和行为特征Agent的抽象表示,它可以作为基本的构件用来支持多Agent系统的设计和实现。为了支持基于组织抽象和Caste机制的方法学的设计,实现分析模型到设计模型的转换,需要研究从基于组织抽象的分析模型到基于Caste的设计模型的转换方法。
本文基于MDA的思想,将基于组织抽象的模型视为是平台无关模型,基于Caste机制的模型视为是平台相关模型,分析了组织模型与CAMLE模型之间的对应性。然后以Gaia方法为基础,对其概念框架和元模型进行了扩展,提出了从组织模型到CAMLE模型的转换方法,设计相应的算法,开发了相应的软件工具并进行了案例分析以验证技术的有效性和可行性。 |
| 【论文题纲】 |
|
摘要 |
9-10 |
|
ABSTRACT |
10-11 |
|
第一章 绪论 |
11-16 |
|
1.1 课题背景 |
11-14 |
|
1.2 本文主要贡献 |
14 |
|
1.3 论文结构 |
14-16 |
|
第二章 面向Agent 的系统建模 |
16-30 |
|
2.1 组织抽象的核心概念 |
16-17 |
|
2.1.1 组织、组织规则与组织结构 |
16 |
|
2.1.2 角色 |
16-17 |
|
2.1.3 职责 |
17 |
|
2.1.4 行为、活动与协议 |
17 |
|
2.2 基于组织抽象的面向Agent 软件开发方法 |
17-24 |
|
2.2.1 Gaia 方法 |
19-22 |
|
2.2.2 ROADMAP 方法 |
22-24 |
|
2.3 以Caste 为中心的多Agent 系统规约与设计 |
24-29 |
|
2.3.1 多Agent 系统形式模型与SLABS 规约 |
24-25 |
|
2.3.2 多Agent 系统建模语言CAMLE |
25-29 |
|
2.4 小结 |
29-30 |
|
第三章 从组织模型到CAMLE 模型的转换方法 |
30-54 |
|
3.1 基于组织抽象的分析模型 |
30-37 |
|
3.1.1 Gaia 元模型 |
30-31 |
|
3.1.2 对Gaia 模型框架概念的扩展 |
31-33 |
|
3.1.3 对Gaia 元模型的扩展 |
33-34 |
|
3.1.4 对Gaia 图形符号的扩展 |
34-37 |
|
3.2 组织抽象与Caste 抽象的对应关系 |
37-40 |
|
3.2.1 角色与Caste 的对应 |
38 |
|
3.2.2 资源与Caste 的对应 |
38-39 |
|
3.2.3 资源、协议与环境的对应 |
39 |
|
3.2.4 职责与行为的对应 |
39-40 |
|
3.3 从组织模型到CAMLE 模型的转换 |
40-47 |
|
3.3.1 转换过程 |
40-41 |
|
3.3.2 生成结构模型 |
41-44 |
|
3.3.3 生成全局协作模型 |
44-45 |
|
3.3.4 生成行为模型 |
45-47 |
|
3.4 案例分析 |
47-53 |
|
3.4.1 案例描述 |
47 |
|
3.4.2 建立基于组织抽象的分析模型 |
47-52 |
|
3.4.3 转换结果 |
52-53 |
|
3.5 小结 |
53-54 |
|
第四章 模型转换工具的设计与实现 |
54-65 |
|
4.1 设计目标 |
54 |
|
4.2 CAMLE 建模环境介绍 |
54-57 |
|
4.2.1 软件界面 |
55 |
|
4.2.2 软件结构 |
55-57 |
|
4.3 组织模型建模工具 |
57-62 |
|
4.3.1 界面设计 |
57-59 |
|
4.3.2 软件结构 |
59-61 |
|
4.3.3 组织模型的一致性检查 |
61-62 |
|
4.4 模型转换工具 |
62-64 |
|
4.5 小结 |
64-65 |
|
第五章 结束语 |
65-67 |
|
5.1 全文总结 |
65-66 |
|
5.2 工作展望 |
66-67 |
|
致谢 |
67-69 |
|
参考文献 |
69-73 |
|
攻读硕士学位期间发表的论文 |
73 |
|
| 【DOI】 | LunWen.ID:2.2008.388905 |
