PolyU IR
 

PolyU Institutional Repository >
Computing >
COMP Conference Papers & Presentations >

Please use this identifier to cite or link to this item: http://hdl.handle.net/10397/855

Title: A language for description and verification of mobile agent algorithms
Authors: Li, Xuhui
Cao, Jiannong
He, Yanxiang
Subjects: Mobile agents
Mobile computing
Program verification
Specification languages
Issue Date: 2004
Publisher: IEEE Computer Society
Citation: CIT04 : The Fourth International Conference on Computer and Information Technology, September 14-16, 2004, Wuhan, China, p. 546-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.
Rights: © 2004 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
Type: Conference Paper
URI: http://hdl.handle.net/10397/855
ISBN: 0769522165
Appears in Collections:COMP Conference Papers & Presentations

Files in This Item:

File Description SizeFormat
description-verification_04.pdf130.58 kBAdobe PDFView/Open



Facebook Facebook del.icio.us del.icio.us LinkedIn LinkedIn


All items in the PolyU Institutional Repository are protected by copyright, with all rights reserved, unless otherwise indicated.
No item in the PolyU IR may be reproduced for commercial or resale purposes.

 

© Pao Yue-kong Library, The Hong Kong Polytechnic University, Hung Hom, Kowloon, Hong Kong
Powered by DSpace (Version 1.5.2)  © MIT and HP
Feedback | Privacy Policy Statement | Copyright & Restrictions - Feedback