Pregled bibliografske jedinice broj: 187833
Using Pi-Calculus for Specification of Mobile Agent Communication
Using Pi-Calculus for Specification of Mobile Agent Communication // Proceedings of the Eighth IASTED International Conference on Software Engineering and Applications / Hamza, M.H. (ur.).
Cambridge: ACTA Press, 2004. str. 436-202 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
CROSBI ID: 187833 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Using Pi-Calculus for Specification of Mobile Agent Communication
Autori
Ježić, Gordan ; Lovrek, Ignac
Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni
Izvornik
Proceedings of the Eighth IASTED International Conference on Software Engineering and Applications
/ Hamza, M.H. - Cambridge : ACTA Press, 2004, 436-202
Skup
IASTED International Conference on Software Engineering and Applications
Mjesto i datum
Cambridge (MA), Sjedinjene Američke Države, 09.09.2004. - 11.09.2004
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
Ključne riječi
Mobile agents; agent communication; formal specification; process algebra; verification
Sažetak
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.
Izvorni jezik
Engleski
Znanstvena područja
Elektrotehnika
