Barbu, Andreea (2005) Developing mobile agents through a formal approach. PhD, Universität Oldenburg.

Preview

Volltext (1885Kb)

Abstract

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.

["eprint_fieldname_abstract_plus" not defined]

This thesis deals with the modeling and validation of mobile agent systems. The development of a support structure for mobile agents demands the development of solutions for a set of specific problems that appear due to mobility. A basic question in software development is if the proposed program is really a solution for the considered problem. One way to answer this question is through the use of formal methods. In our approach, the first step is to build a model of the solution (specification) using the higher-order Pi-calculus. Having this formal model as a base, we can: validate the model through simulations; carry out mathematical tests to guarantee that this model possesses the required properties (verification); being able to prove that the implementation is correct with respect to the specification (generation of correct code). In a second step we propose three different methods for a mobile agent system implementation. Making use of our results, we have implemented a prototype called HOPiTool which allows the possibility of validation of mobile agent systems conceived with higher-order Pi-calculus.

Item Type:	Thesis (PhD)
Uncontrolled Keywords:	[Keine Schlagwörter von Autor/in vergeben.]
Controlled Keywords:	[Keine Schlagwörter von Author/in vergeben.]
Subjects:	Generalities, computers, information > Computer science, internet
Date Deposited:	17 Jan 2013 14:13
Last Modified:	08 Jul 2013 13:02
URI:	https://oops.uni-oldenburg.de/id/eprint/114
URN:	urn:nbn:de:gbv:715-oops-1440
DOI:
Nutzungslizenz:

Actions (login required)

View Item