Universität München,

Institut für Informatik,

Lehr- und Forschungseinheit für Programmierung und Softwaretechnik

DIPLOMARBEIT

Formale Methoden in der objektorientierten Softwareentwicklung am Beispiel von OOSDM

Inhalt:

Analog einer formalen Erweiterung der objektorientierten Softwareentwicklungsmethode OOSE, die in [3] skizziert wurde, sollen auch in die objektorientierte Softwareentwicklungsmethode OOSDM [2] formale Annotationen integriert werden. Dabei spielt die Konsistenz der verschiedenen Modelle in den verschiedenen Entwicklungsphasen eine wesentliche Rolle. Die so erweiterten Modelle aller Phasen sollen in die objektorientierte, nebenläufige Sprache Maude [1] übersetzt werden.

Voraussetzungen:

• Vordiplom
• Vorlesung "Methoden der Softwareentwicklung"
• Grundlagen in algebraischen Spezifikationen

Aufgabensteller:

Information/Betreuung:

Literatur:

[1] José Meseguer. A Logical Theory of Concurrent Objects and Its Realization in the Maude Language. In: Gul Agha, Peter Wegner, Akinori Yonezawa (Hgg.). Research Directions in Concurrent Object-Oriented Programming, MIT Press, Cambridge, Mass.-London, 1993, S. 314-390.

[2] Markus Wilke. Der systematische Übergang von der Analyse zum Entwurf in objektorientierten Entwicklungstechniken. Diplomarbeit, Ludwig-Maximilians-Universität München, 1996.

[3] Martin Wirsing, Alexander Knapp. A Formal Approach to Object-Oriented Software Engineering. In: José Meseguer (Hg.), Proc. 1st Int. Wsh. Rewriting Logic and Its Applications, Electr. Notes Theo. Comp. Sci. 4, Elsevier, 1996, S. 321-359.

Bearbeiter:

Ludwig Ehrenberger

---

(Alexander Knapp, 6.6.1997, 18.8.1998)