{"id":{"repo_id":"oldenburg","oai_identifier":"oai:oops.uni-oldenburg.de:114"},"canonical_url":"https://search.dev.ndltd.org/etd/oldenburg/oai:oops.uni-oldenburg.de:114","repository":{"repo_id":"oldenburg","name":"Carl von Ossietzky Universität Oldenburg","base_url":"http://oops.uni-oldenburg.de/cgi/oai2"},"display":{"title":"Developing mobile agents through a formal approach","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.","abstract_html":"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.","abstract_has_math":false,"creators":["Barbu, Andreea"],"institution":"Universität Oldenburg","degree_name":null,"degree_level":"thesis.doctoral","degree_discipline":null,"degree_department":null,"school":null,"contributors":[],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2005,"date_issued":"2005-09-12","date_published":"2005-09-12","updated_at":"2026-07-27T20:27:13Z","subjects":["[Keine Schlagwörter von Autor/in vergeben.]"],"languages":[],"rights":[],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"http://oops.uni-oldenburg.de/114","outbound_label":"Repository record","outbound_source":"source_url"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:creator","label":"Author","values":["Barbu, Andreea"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:publisher","label":"Institution","values":["BIS der Universität Oldenburg"]},{"key":"dc:type","label":"Dc Type","values":["doctoralThesis"]},{"key":"thesis:degree_level","label":"Degree Level","values":["thesis.doctoral"]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["Universität Oldenburg"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["[Keine Schlagwörter von Autor/in vergeben.]"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["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.","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."]},{"key":"dc:format.medium","label":"Dc Format Medium","values":["application/pdf"]},{"key":"dc:title","label":"Title","values":["Developing mobile agents through a formal approach"]}]}],"canonical_facts":{"dc:creator":["Barbu, Andreea"],"dc:description.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.","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."],"dc:format.medium":["application/pdf"],"dc:publisher":["BIS der Universität Oldenburg"],"dc:subject":["[Keine Schlagwörter von Autor/in vergeben.]"],"dc:title":["Developing mobile agents through a formal approach"],"dc:type":["doctoralThesis"],"thesis:degree_level":["thesis.doctoral"],"thesis:institution_name":["Universität Oldenburg"]},"updated_at":"2026-07-27T20:27:13Z"}