| 基于网格的面向Agent形式化建模框架 |
| |
| 引用本文： | 刘炜,刘宗田.基于网格的面向Agent形式化建模框架[J].计算机研究与发展,2005,42(8):1376-1383. |
| |
| 作者姓名： | 刘炜 刘宗田 |
| |
| 作者单位： | 上海大学计算机工程与科学学院,上海,200072;上海大学计算机工程与科学学院,上海,200072 |
| |
| 基金项目： | 国家自然科学基金重点项目（60275022） |
| |
| 摘 要： | 提出了一种基于OGSA（open grid services architecture）网格体系结构的面向Agent形式化建模框架——AOMG（agent-oriented modeling based on grid）形式化框架，该框架基于Object-Z语言，吸收了Ⅰ^＊框架和UML中的部分元模型，加入了对Agent与网格环境之间交互关系的描述，以及对Agent服务属性的处理，从而解决了现有方法无法对基于网格环境的分布式系统进行分析与设计建模的问题．给出了AOMG形式化框架中的3类核心模型：组织模型、Agent类模型和Agent服务模型．提供了一组新颖的从组织模型到Agent类模型的形式化语义映射规则，实现了系统模型从Agent抽象层次到对象层次的快速转换．
|
| 关 键 词： | 网格 Agent Agent-oriented建模 形式规格说明 |
| 收稿时间： | 2004-08-11 |
| 修稿时间： | 2004-08-11 |
A Formal Framework for Agent-Oriented Analysis and Design Based on Grid |
| |
| Liu Wei,Liu Zongtian.A Formal Framework for Agent-Oriented Analysis and Design Based on Grid[J].Journal of Computer Research and Development,2005,42(8):1376-1383. |
| |
| Authors: | Liu Wei Liu Zongtian |
| |
| Abstract: | An agent-oriented formal modeling framework based on OGSA is proposed, which is called formal AOMG(formal agent-oriented modeling based on grid).Based on Object-Z, formal AOMG integrates meta-models from I* and UML, and introduces a new intention attribute (service attribute) to agent.Formal AOMG can formalize relationships between agents and grid environment.Three core models (organization model, agent class model and agent service model) of formal AOMG are presented.Formal AOMG provides a set of formal semantic mapping rules between organization model and agent class model, which facilitates the system model's transition from agent level to object level. |
| |
| Keywords: | grid agent agent-oriented modeling formal specification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
