A language for description and verification of mobile agent algorithms

Xuhui Li, Jiannong Cao, Yanxiang He

Research output: Chapter in book / Conference proceedingConference article published in proceeding or bookAcademic researchpeer-review

3 Citations (Scopus)

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.
Original languageEnglish
Title of host publicationProceedings - The Fourth International Conference on Computer and Information Technology (CIT 2004)
Pages546-553
Number of pages8
Publication statusPublished - 14 Dec 2004
EventProceedings - The Fourth International Conference on Computer and Information Technology (CIT 2004) - Wuhan, China
Duration: 14 Sep 200416 Sep 2004

Conference

ConferenceProceedings - The Fourth International Conference on Computer and Information Technology (CIT 2004)
Country/TerritoryChina
CityWuhan
Period14/09/0416/09/04

ASJC Scopus subject areas

  • Engineering(all)

Cite this