A language for description and verification of mobile agent algorithms

Xuhui Li; Jiannong Cao; Yanxiang He

A language for description and verification of mobile agent algorithms

Xuhui Li
, Jiannong Cao
, Yanxiang He

Research output: Chapter in book / Conference proceeding › Conference article published in proceeding or book › Academic research › peer-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 language	English
Title of host publication	Proceedings - The Fourth International Conference on Computer and Information Technology (CIT 2004)
Pages	546-553
Number of pages	8
Publication status	Published - 14 Dec 2004
Event	Proceedings - The Fourth International Conference on Computer and Information Technology (CIT 2004) - Wuhan, China Duration: 14 Sept 2004 → 16 Sept 2004

Conference

Conference	Proceedings - The Fourth International Conference on Computer and Information Technology (CIT 2004)
Country/Territory	China
City	Wuhan
Period	14/09/04 → 16/09/04

ASJC Scopus subject areas

General Engineering

More information

http://hdl.handle.net/10397/855

Cite this

@inproceedings{21b1e530a2a44658b0385014d09ab683,

title = "A language for description and verification of mobile agent algorithms",

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.",

author = "Xuhui Li and Jiannong Cao and Yanxiang He",

year = "2004",

month = dec,

day = "14",

language = "English",

isbn = "0769522165",

pages = "546--553",

booktitle = "Proceedings - The Fourth International Conference on Computer and Information Technology (CIT 2004)",

note = "Proceedings - The Fourth International Conference on Computer and Information Technology (CIT 2004) ; Conference date: 14-09-2004 Through 16-09-2004",

}

Li, X, Cao, J & He, Y 2004, A language for description and verification of mobile agent algorithms. in Proceedings - The Fourth International Conference on Computer and Information Technology (CIT 2004). pp. 546-553, Proceedings - The Fourth International Conference on Computer and Information Technology (CIT 2004), Wuhan, China, 14/09/04. <http://hdl.handle.net/10397/855>

A language for description and verification of mobile agent algorithms. / Li, Xuhui; Cao, Jiannong; He, Yanxiang.
Proceedings - The Fourth International Conference on Computer and Information Technology (CIT 2004). 2004. p. 546-553.

Research output: Chapter in book / Conference proceeding › Conference article published in proceeding or book › Academic research › peer-review

TY - GEN

T1 - A language for description and verification of mobile agent algorithms

AU - Li, Xuhui

AU - Cao, Jiannong

AU - He, Yanxiang

PY - 2004/12/14

Y1 - 2004/12/14

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/9744257078

M3 - Conference article published in proceeding or book

SN - 0769522165

SP - 546

EP - 553

BT - Proceedings - The Fourth International Conference on Computer and Information Technology (CIT 2004)

T2 - Proceedings - The Fourth International Conference on Computer and Information Technology (CIT 2004)

Y2 - 14 September 2004 through 16 September 2004

ER -

A language for description and verification of mobile agent algorithms

Abstract

Conference

ASJC Scopus subject areas

More information

Other files and links

Fingerprint

Cite this