A Language for Description and Verification of Mobile Agent Algorithms

Wuhan, China September 14-September 16

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/CIT.2004.1357252

Fourth International Conference on Co ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Xuhui Li Articles by Jiannong Cao Articles by Yanxiang He

	ASCII Text	x
	Xuhui Li, Jiannong Cao, Yanxiang He, "A Language for Description and Verification of Mobile Agent Algorithms," Computer and Information Technology, International Conference on, pp. 546-553, Fourth International Conference on Computer and Information Technology (CIT'04), 2004.

	BibTex	x
	@article{ 10.1109/CIT.2004.1357252, author = {Xuhui Li and Jiannong Cao and Yanxiang He}, title = {A Language for Description and Verification of Mobile Agent Algorithms}, journal ={Computer and Information Technology, International Conference on}, volume = {0}, year = {2004}, isbn = {0-7695-2216-5}, pages = {546-553}, doi = {http://doi.ieeecomputersociety.org/10.1109/CIT.2004.1357252}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Computer and Information Technology, International Conference on TI - A Language for Description and Verification of Mobile Agent Algorithms SN - 0-7695-2216-5 SP546 EP553 A1 - Xuhui Li, A1 - Jiannong Cao, A1 - Yanxiang He, PY - 2004 KW - null VL - 0 JA - Computer and Information Technology, International Conference on ER -

Xuhui Li, Wuhan University

Jiannong Cao, Hong Kong Polytechnic University

Yanxiang He, Wuhan University

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.

Citation:

Xuhui Li, Jiannong Cao, Yanxiang He, "A Language for Description and Verification of Mobile Agent Algorithms," cit, pp.546-553, Fourth International Conference on Computer and Information Technology (CIT'04), 2004

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.