A formal model-based approach for developing an interoperable mobile agent system

2006 ◽  
Vol 2 (4) ◽  
pp. 401-412 ◽  
Author(s):  
Junhua Ding ◽  
Peter J. Clarke ◽  
Dianxiang Xu ◽  
Xudong He ◽  
Yi Deng
Author(s):  
MARIO KUSEK ◽  
KRESIMIR JURASOVIC ◽  
GORDAN JEZIC

This paper deals with the verification of a multi-agent system simulator. Agents in the simulator are based on the Mobile Agent Network (MAN) formal model. It describes a shared plan representing a process which allows team formation according to task complexity and the characteristics of the distributed environment where these tasks should be performed. In order to verify the simulation results, we compared them with performance characteristics of a real multi-agent system, called the Multi-Agent Remote Maintenance Shell (MA–RMS). MA–RMS is organized as a team-oriented knowledge based system responsible for distributed software management. The results are compared and analyzed for various testing scenarios which differ with respect to network bandwidth as well as task and network complexity.


2019 ◽  
Vol 16 (7) ◽  
pp. 174-194 ◽  
Author(s):  
Weijin Jiang ◽  
Yang Wang ◽  
Yirong Jiang ◽  
Jiahui Chen ◽  
Yuhui Xu ◽  
...  

Sign in / Sign up

Export Citation Format

Share Document