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
Keyword(s):  
Mobile Agent ◽  
Formal Model ◽  
Agent System ◽  
Model Based

VERIFICATION OF THE MOBILE AGENT NETWORK SIMULATOR — A TOOL FOR SIMULATING MULTI-AGENT SYSTEMS

2008 ◽  
Vol 18 (05) ◽  
pp. 651-682 ◽  
Author(s):  
MARIO KUSEK ◽  
KRESIMIR JURASOVIC ◽  
GORDAN JEZIC
Keyword(s):  
Mobile Agent ◽  
Formal Model ◽  
Task Complexity ◽  
Network Simulator ◽  
Multi Agent System ◽  
Multi Agent Systems ◽  
Agent System ◽  
Network Bandwidth ◽  
Knowledge Based ◽  
Multi Agent

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.

Research on mobile Internet mobile agent system dynamic trust model for cloud computing

2019 ◽  
Vol 16 (7) ◽  
pp. 174-194 ◽  
Author(s):  
Weijin Jiang ◽  
Yang Wang ◽  
Yirong Jiang ◽  
Jiahui Chen ◽  
Yuhui Xu ◽  
...  
Keyword(s):  
Cloud Computing ◽  
Mobile Agent ◽  
Trust Model ◽  
Mobile Internet ◽  
System Dynamic ◽  
Agent System ◽  
Dynamic Trust
Sign in / Sign up

Export Citation Format

Share Document