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