Für ein zu absolvierendes Seminar befasste ich mich mit der Modellierung und Verifikation kryptographischer Protokolle mit Zustandsautomaten.

In der Master-Thesis schrieb ich über das Thema ” Einsatz von Model Driven Architecture (MDA) bei der Entwicklung von Product Lifecycle Management Services (PLM Services)“. Die Arbeit erhielt die Noten 1.0 und 1.3 (Durchschnitt 1.1).

Anhänge:

• Urkunde zum Master of Computer Science der Universität Ulm (pdf)
• Zeugnis zum Master of Computer Science (pdf)

Zusammenfassung: Diese Arbeit gibt einen praktischen Einblick in eine aufkommende Software-Entwicklungs – Methodik namens Model Driven Architecture. Dieses Verfahren zwingt den Entwickler, alle notwendigen Informationen in einem Plattform-unabhängigen Modell formal zu beschreiben und auch nur in diesem zu pregen. Dafür wird der Entwickler damit belohnt, dass sich Änderungen im Modell automatisiert in lauffähigen Programm-Code umwandeln lassen. Hierfür kommen Transformationen zum Einsatz, die auf dem gegebenen Modell arbeiten und dieses in ein anderes Modell überführen. Dadurch wird das Plattform-unabhängige Modell zu einem Modell speziell für eine Plattform umgewandelt und dieses letztendlich in ausführbaren Programm-Code. Diese Arbeit zeigt die Methodik der Model Driven Architecture anhand des neuen Standards Product Lifecycle Management Service aus dem Automobilbereich. Dazu beschreibt sie alle notwendigen Transformationen, um aus dem vorgegebenen Modell eine Drei-Schichten-Architektur zu generieren, welche den Anforderungen des Standards entspricht. Abschließend werden Erkenntnisse und Verbesserungen diskutiert.

Die Master-Arbeit ist hier nachzulesen: Einsatz von MDA bei der Entwicklung von PLM Services.

Zusammenfassung: Neben dem Forschungsgebiet der Künstlichen Intelligenz (KI) versucht auch die Verteilte Künstliche Intelligenz (VKI) eine Maschine intelligent handeln zu lassen. Im Vergleich zur KI erreicht ein Netzwerk in der VKI seine Intelligenz dadurch, dass viele, auch geringer intelligente Software-Programme zusammenarbeiten: Die Software-Agenten. Diese sind dadurch intelligent, dass sie mit anderen Agenten kommunizieren, sich untereinander koordinieren und miteinander kooperieren. Dieser Artikel ist ein Überblick über die Architekturen intelligenter Agenten, die Vorteile mobilen Codes und die Verteilte Künstliche Intelligenz. Dabei wird gezeigt, welche Vorteile eine Kooperation bietet. Zugleich aber sieht der Leser, warum eine bedingungslose Kooperation nachteilig ist und Egoismus zum intelligenten Handeln erforderlich ist. Dazu werden die Grundzüge der strategischen Verhandlungen samt der benötigten Spieltheorie beschrieben.

Der Artikel ist hier nachzulesen: Intelligente Software-Agenten.

Abstract: Kryptographische Protokolle spielen im täglichen Leben eine immer wichtigere Rolle. Doch für einen sicheren Einsatz der Protokolle ist es von entscheidender Bedeutung, dass die kryptographischen Verfahren korrekt sind. Da die menschliche Kontrolle nicht ausreichend ist, bedarf es einer automatisierten Überprüfung durch einen Computer. Diese Arbeit zeigt, wie kryptographische Protokolle weitestgehend automatisch veriziert werden können, indem die Protokolle auf endliche Zustandsautomaten übertragen werden. Nach den theoretischen Grundlagen wird abschließend gezeigt, wie das Needham-Schröder Protokoll mithilfe des Werkzeugs Murφ modelliert und verifiziert werden kann.

Die Seminararbeit ist hier vollständig nachlesbar: Modellierung und Verifikation kryptographischer Protokolle mit Zustandsautomaten

Neben dem Forschungsgebiet der Künstlichen Intelligenz (KI) versucht auch die Verteilte Künstliche Intelligenz (VKI) eine Maschine intelligent handeln zu lassen. Im Vergleich zur KI erreicht ein Netzwerk in der VKI seine Intelligenz dadurch, dass viele, auch geringer intelligente Software-Programme zusammenarbeiten: Die Software-Agenten. Diese sind dadurch intelligent, dass sie mit anderen Agenten kommunizieren, sich untereinander koordinieren und miteinander kooperieren.

Die Diplomarbeit ist hier nachzulesen:  Intelligente Software-Agenten in elektronischen Märkten.

Zusammenfassung: Ziel der vorliegenden Arbeit ist es, dem Leser einen Einblick in die Problematik des E Commerce zu geben. Der Schwerpunkt liegt dabei auf der noch immer stark wachsenden Tourismusbranche. Während der Arbeit wird die Frage aufgeworfen, ob das Buchen per Mausklick Erfolg versprechend ist, wo die Vorteile liegen, aber auch welche Abstriche man gegenüber den üblichen Reisebüros hinnehmen muss.

Auch die Touristikregionen werden näher betrachtet. Können auch sie vom stetig wachsenden Interesse am Internet profitieren?

Die Ausarbeitung ist hier nachzulesen: Praxisbeispiele für die Umsetzung von Online Marketing in der Tourismusbranche.