A Formal Framework for Agent-Oriented Analysis and Design Based on Grid

Liu Wei and Liu Zongtian

Journal of Computer Research and Development > 2005 > 42(8): 1376-1383.

Liu Wei and 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.

Citation:

Liu Wei and 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.

Citation:

Liu Wei and 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.

PDF (531 KB)

A Formal Framework for Agent-Oriented Analysis and Design Based on Grid

Liu Wei and Liu Zongtian

(School of Computer Engineering and Science, Shanghai University, Shanghai 200072)

More Information

Published Date: August 14, 2005

Graphical Abstract

Abstract

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.
- grid,
- agent,
- agent-oriented modeling,
- formal specification

FullText(HTML)

References (0)

[1]	Li Chen, Chen Yidong, Lu Zhonghua, Yang Xueying, Wang Zitian, Chi Xuebin. A Parallel Multi-Objective Dividing Rectangles Algorithm Based on Normalized Decomposition[J]. Journal of Computer Research and Development, 2024, 61(11): 2909-2922. DOI: 10.7544/issn1000-1239.202330093
[2]	Liu Quan, Fu Qiming, Yang Xudong, Jing Ling, Li Jin, Li Jiao. A Scalable Parallel Reinforcement Learning Method Based on Intelligent Scheduling[J]. Journal of Computer Research and Development, 2013, 50(4): 843-851.
[3]	Zhou Hanxun, Zhao Hong, Wen Yingyou. Modeling and Analysis of Divide-and-Rule-Hybrid-Benign Worms[J]. Journal of Computer Research and Development, 2009, 46(7): 1110-1116.
[4]	Li Jianfu, Guo Maozu, and Liu Yang. An Evolutionary Tree Reconstruction Method Combining Quartet Puzzling and Neighbor Joining[J]. Journal of Computer Research and Development, 2008, 45(11): 1965-1973.
[5]	Li Kenli, Liu Jie, Yang Lei, Liu Wenbin. An O(1.414\+n) Volume Molecular Solutions for the Exact Cover Problem on DNA-Based Supercomputing[J]. Journal of Computer Research and Development, 2008, 45(10): 1782-1788.
[6]	Wang Li, Zhang Suwei, Li Zhansheng, Song Linjian. A Multi-Path Routing Protocol Based on Divide and Conquer Strategy in Ad Hoc Network[J]. Journal of Computer Research and Development, 2008, 45(1).
[7]	Lin Jiao, Wang Shanying, Wang Chongyu. A Study of Parallel DVM-DAC Algorithm in Multiscale Physics[J]. Journal of Computer Research and Development, 2007, 44(10): 1667-1672.
[8]	Li Kenli, Yao Fengjuan, Li Renfa, Xu Jin. Improved Molecular Solutions for the Knapsack Problem on DNA-Based Supercomputing[J]. Journal of Computer Research and Development, 2007, 44(6): 1063-1070.
[9]	He Lijian and Zhang Wei. An Agent Organization Structure for Solving DCOP Based on the Partitions of Constraint Graph[J]. Journal of Computer Research and Development, 2007, 44(3).
[10]	Hou Yuexian, Ding Zheng, and He Pilian. Self-Organizing Isometric Embedding[J]. Journal of Computer Research and Development, 2005, 42(2): 188-195.