Developing mobile agents through a formal approach

Diese Arbeit beschäftigt sich mit der Modellierung und Validierung von mobilen Agenten. Die Entwicklung einer Unterstützungsstruktur für mobile Agenten fordert die Entwicklung von Lösungen für eine Reihe spezifischer Probleme, die aufgrund der Mobilität erscheinen. Auf die Frage, ob das vorgeschlagene Programm wirklich eine Lösung für das Problem darstellt, können wir beantworten, indem wir von formellen Methoden Gebrauch machen. Der erste Schritt ist, eine Spezifizierung zu bauen, das den higher-order Pi-Kalkül einsetzt. Mit dem formellen Model als Basis, können wir das Model verifizieren und/oder validieren. Wir können zeigen, daß die Implementierung des Systems in Bezug auf die Spezifizierung korrekt ist (Generierung des richtigen Codes). In einem zweiten Schritt schlagen wir drei verschiedene Methoden für die Realisierung eines mobilen Agenten-System vor. Von unseren Ergebnissen Gebrauch machend, haben wir einen Prototyp (genannt HOPiTool) implementiert, der die Möglichkeit der Validierung von mobilen Agenten Systeme die mit dem higher-order Pi-Kalkül spezifiziert, anbietet.

Level thesis:degree_level

thesis.doctoral

Grantor dc:publisher

Universität Oldenburg

Year

2005

Author dc:creator

• Barbu, Andreea

• [Keine Schlagwörter von Autor/in vergeben.]

Repository record source_url

http://oops.uni-oldenburg.de/114

OAI identifier oai:identifier

oai:oops.uni-oldenburg.de:114