A language for description and verification of mobile agent algorithms

Author

Li, Xuhui ; Cao, Jiannong ; He, Yanxiang

Author_Institution

State Key Lab. of Software Eng., Wuhan Univ., China

fYear

2004

fDate

14-16 Sept. 2004

Firstpage

546

Lastpage

553

Abstract

Mobile agent technology has been widely adopted in network computing, whereas it remains a problem to design and verify the mobile agent algorithms in a platform independent way. In this paper, we propose a script language called SMAL to design the mobile agent algorithm. The semantics of SMAL is briefly introduced with its execution model. Furthermore, to verify the agent program in SMAL, a transformation function for converting SMAL program to Mobile UNITY specification is presented, which would facilitate making use of UNITY-logic to prove the correctness properties of the program.

Keywords

mobile agents; mobile computing; program verification; specification languages; SMAL; UNITY logic; agent program verification; mobile UNITY specification; mobile agent algorithms; mobile agent technology; network computing; program correctness properties; script language; transformation function; Algorithm design and analysis; Computer networks; Concrete; Design engineering; Distributed computing; Helium; Laboratories; Mobile agents; Processor scheduling; Software algorithms;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer and Information Technology, 2004. CIT '04. The Fourth International Conference on

Print_ISBN

0-7695-2216-5

Type

conf

DOI

10.1109/CIT.2004.1357252

Filename

1357252