基于网格的面向Agent软件分析与设计建模方法及环境研究

论文题目: 基于网格的面向Agent软件分析与设计建模方法及环境研究

论文类型: 博士论文

论文专业: 控制理论与控制工程

作者: 刘炜

导师: 刘宗田

关键词: 网格计算,网格,网格服务,建模方法,语言,形式化建模框架,本体,模型映射规则,模型语法检查

文献来源: 上海大学

发表年度: 2005

论文摘要: 网格是一种由硬件和软件构成的信息技术基础设施,能提供可靠的、可协调的、可扩展的和廉价的高端计算能力的访问,并支持动态的、分布式的虚拟组织之间不同资源的共享和协作。基于网格的问题求解称作网格计算,网格计算是近年来兴起的一个研究热点。网格计算环境具有异构性、可扩展性、动态自适应性等特点,这些特性使得运行在网格平台上的软件系统不同于在集中和封闭环境下发展起来的传统软件形态,将呈现出以自主性、协同性、开放性以及互操作性为基本特征的全新形态。我们将这种新的软件形态定义为网格软件,或称网格分布式系统。 软件建模技术的发展是通过不断提出更具表达能力、更符合人类思维模式的抽象机制来为复杂系统建立模型。过程抽象、抽象数据类型、以及目前比较常用的“对象”和“组件”都属于这样的抽象机制。目前在软件领域占主导地位的软件方法是面向对象方法,但是面向对象软件技术体系其本质上是一种静态和封闭的框架体系,难以适应网格环境开放、动态和多变的特点,因此,网格软件这种新型的软件形态对传统的软件理论、方法、技术和平台提出了一系列挑战。 从分布式人工智能观点考虑,网格计算和多Agent系统具有很强的相似性。最明显表现在多Agent系统中的实体和网格实体都具有自治性;Agent还具有其他一些和网格实体相关的特性,如社会能力、自适应性和自发性等;同时,Agent和网格实体一样具有异构性,不同的Agent可以由不同的程序设计语言、体系结构和技术实现。Agent的这些特点使之成为研究网格实体的一种重要的抽象机制。 当前主要的面向Agent建模技术基本上是针对传统的封闭式软件体系结构而提出,对于网格软件的建模缺乏有效的概念抽象机制和直观的模型描述。基于对现有网格技术和主要面向Agent软件工程方法的研究,我们选择OGSA开放式网格体系结构做为网格软件的运行平台(或称应用背景),依照面向Agent软件工程的要求,提出以Agent做为基本单元的分析策略,形成了AOMG(Agent-Oriented Modeling based on Grid)软件建模方法,能够有效地建立基于网格的新型分布式系统模型。该方法的研究内容主要包括: (1)提出了以OGSA网格体系结构为应用背景,基于Agent抽象机制的分布式软件系统结构。 (2)在传统Agent定义的基础上,结合网格软件形态的一些特征和OGSA结构的以服务为核心的基本思想,对Agent概念重新定义,并引入虚拟组织、开放式组织、网格Agent(GridAgent)和Agent服务等新的抽象概念,为网格软件的分析和设计建模提供概念抽象机制; (3)通过改进现有的i~*建模框架以及对UML的扩展,结合组织建模思想,AOMG提供了一套适合描述网格分布式应用的可视化建模框架,通过统一的可视化模型语言实现了对网格软件的直观描述。在建立模型语言的同时,AOMG建模框架提出了基

论文目录:

摘要

ABSTRACT

第一章 绪论

1.1 网格计算与网格体系结构

1.1.1 网格概念及其特点

1.1.2 网格体系结构

1.1.3 基于网格体系结构的软件形态

1.2 基于网格的软件建模与Agent抽象机制

1.3 主要的面向Agent软件工程方法和建模工具

1.3.1 面向Agent软件工程方法

1.3.2 面向Agent软件建模环境

1.4 研究意义和内容

1.5 论文组织结构

第二章 AOMG：一种基于网格计算的面向Agent建模方法

2.1 与AOMG相关的研究与技术

2.1.1 OGSA网格体系结构

2.1.2 i~*策略建模

2.1.3 UML建模语言

2.2 AOMG：基于OGSA的面向Agent可视化建模框架

2.2.1 基于OGSA的软件体系结构

2.2.2 基本概念

2.2.3 模型框架

2.2.4 AOMG元模型的分层结构

2.2.5 面向Agent分析建模

2.2.6 面向Agent设计建模

2.3 小结

第三章 Formal AOMG：基于网格计算的面向Agent形式化框架

3.1 面向Agent形式化方法

3.2 Object-Z形式规格语言

3.3 Formal AOMG形式化建模框架

3.3.1 AOMG元模型语义结构

3.3.2 形式化组织模型及其元模型

3.3.3 形式化Agent交互模型及其元模型

3.3.4 形式化Agent类模型及其元模型

3.3.5 形式化Agent服务模型

3.3.6 建模实例

3.4 小结

第四章 网格分布式系统的领域资源本体建模

4.1 基于本体的资源匹配

4.2 本体(Ontology)

4.2.1 本体概念

4.2.2 本体表示和本体构造

4.3 基于UML的资源本体模型(Resource Ontology Model)

4.4 从UML到OWL的映射

4.5 小结

第五章 AOMG Toolkits：面向Agent分析与设计建模环境

5.1 引言

5.2 AOMG Toolkits基本设计框架

5.3 AOMG Toolkits设计模型

5.3.1 模型分层机制

5.3.2 AOMG元模型设计

5.3.3 模型框图设计

5.4 基于OWL的模型存储机制

5.4.1 模型抽象语义层

5.4.2 模型序列化存储机制

5.4.3 AOMG模型的文件存储

5.5 小结

第六章 AOMG模型语法检测机制

6.1 概念模型的语法检查机制

6.1.1 概念模型语法约束概要

6.1.2 语法约束的细化

6.1.3 自动检查机制的实现

6.2 概念模型语法的可执行验证

6.2.1 KBeans的刻面定义

6.2.2 在AOMG模型加入刻面约束声明

6.2.3 调用KBeans进行刻面检查

6.3 模型语法检查实例

6.4 小结

第七章 实例分析(电子政务网格门户应用)

7.1 建模过程与建模策略

7.1.1 建立组织视图

7.1.2 建立Agent视图

7.1.3 建立类视图

7.2 实例分析

7.2.1 问题描述

7.2.2 系统体系结构

7.2.3 第一步：需求获取与分析建模

7.2.4 第二步：设计建模

7.2.5 后续设计驱动

7.3 结论

第八章 结论与展望

8.1 论文总结

8.2 进一步的研究工作及展望

附录

参考文献

作者在攻读博士学位期间公开发表的论文

致谢

发布时间: 2005-09-16

参考文献

• [1].网格虚拟地理环境及其关键技术研究[D]. 吴娴.大连海事大学2007
• [2].面向网格服务的软件体系结构建模及演化研究[D]. 吴毅坚.复旦大学2006
• [3].水科学应用网格的若干关键技术研究[D]. 张国义.中国科学技术大学2007
• [4].基于网格社区的教育资源管理研究[D]. 马燕.西南大学2008
• [5].土地资源时空数据网格服务模型及其实现方法[D]. 滕龙妹.浙江大学2008
• [6].面向服务的网格工作流关键问题研究[D]. 曹海军.华中科技大学2009
• [7].基于网格计算的分布式仿真关键问题研究[D]. 刘民岷.电子科技大学2011

相关论文

• [1].面向Agent需求工程的建模与分析[D]. 邵堃.上海大学2004
• [2].多Agent系统理论和应用研究[D]. 刘勇.重庆大学2003
• [3].多Agent系统体系结构及建模方法研究[D]. 孙志勇.合肥工业大学2004
• [4].基于角色的多Agent系统开发方法研究[D]. 闫琪.国防科学技术大学2004
• [5].计算网格中任务管理的若干问题研究[D]. 黄昌勤.浙江大学2005
• [6].基于P2P架构的网格文件系统研究[D]. 李庆虎.清华大学2004
• [7].一种基于Agent的软件过程建模方法研究[D]. 赵欣培.中国科学院研究生院（软件研究所）2005
• [8].基于移动代理的网格资源监控技术的研究[D]. 方娟.北京工业大学2005
• [9].复杂系统基于Agent的建模与仿真方法研究及应用[D]. 廖守亿.国防科学技术大学2005
• [10].面向Agent的智能化分布式计算及其应用研究[D]. 邓超.浙江大学2005

标签：网格计算论文;  网格论文;  网格服务论文;  建模方法论文;  语言论文;  形式化建模框架论文;  本体论文;  模型映射规则论文;  模型语法检查论文;