Using Pi-Calculus for Specification of Mobile Agent Communication (CROSBI ID 505196)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Ježić, Gordan ; Lovrek, Ignac
engleski
Using Pi-Calculus for Specification of Mobile Agent Communication
This paper presents formal specification and verification of agent migration and communication in a mobile agent network. The specification has been written in  -calculus process algebra based on link mobility and verified by Mobility Workbench analysis. The model consists of the mobile agents placed at distributed nodes and a mobility management agent responsible for message handling. The specification is focused on remote communication of the agents while migrating through the network. The system has been verified by Workbench model checking features.
Mobile agents; agent communication; formal specification; process algebra; verification
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
436-202-x.
2004.
objavljeno
Podaci o matičnoj publikaciji
Proceedings of the Eighth IASTED International Conference on Software Engineering and Applications
Hamza, M.H.
Cambridge: ACTA Press
Podaci o skupu
IASTED International Conference on Software Engineering and Applications
predavanje
09.09.2004-11.09.2004
Cambridge (MA), Sjedinjene Američke Države