Nyckelord m o b i l e agents, d i s t r i b u t e d katalogtjänst, feltolerans Ett pålitligt c o m u n i c a t i o n lager är ett väsentligt c o m p o n e n t i ett mobilt agentsystem. Vi presenterar en ny katalogtjänst för mobila agenter, som c a n b e van vid r o u t e meddelanden till t h e m. T h e katalogtjänst, b a s e d on a terhn~ que of spedition pointers, introducerar några r e d u n d a n a n y för att säkerställa motståndskraft mot s t o p p p i g misslyckanden av noder contaln~-g spedition pekare. Dessutom undviker den cykliska r o u t i g meddelanden, a n d it s u p o p o r t s en teknik för att kollapsa kedjor av pekare t h a t tillåter direkt c o m u n i c ation b e e e n agents. Vi har formaliserat t h e l g o r i t h m a n d härledd a ]uil~ mekaniskt bevis på dess korrekthet med hjälp av t h e pr o o f assistent Coq; vi r e p o r t på vår erfarenhet av designLug t h e a l g o r i t h m a n d härleda sin p r o o f av korrekthet. ........................................................................................................
För att beakta speditörers misslyckande föreslogs en feltolerant katalogtjänst för mobila agenter med hjälp av redundans av speditörer REF.
A fault-tolerant directory service for mobile agents based on forwarding pointers
{'venue': "SAC '02", 'journal': None, 'mag_field_of_study': ['Computer Science']}