Seminar POOSL Einstiegsseminar

Das Seminar bietet einen konzentrierten Einstieg in POOSL als Sprache für die Modellierung nebenläufiger Hard- und Softwaresysteme. Vermittelt wird nicht nur die Grundsyntax, sondern vor allem die Art des Denkens, die hinter POOSL steht: saubere Trennung von Daten-, Prozess- und Architekturebene, formale Eindeutigkeit und die Möglichkeit, Verhalten durch Simulation nachvollziehbar zu machen. Damit eignet sich das Format besonders für Teams, die POOSL zunächst fachlich sicher einordnen und mit überschaubarem Aufwand erproben wollen.

Schwerpunkte

• Grundverständnis von POOSL und Einordnung der Sprache im Umfeld formaler Modellierung
• Aufbau der Daten-, Prozess- und Architekturebene
• Beschreibung nebenläufiger Abläufe, Kommunikation und zeitlicher Aspekte
• Arbeit mit Eclipse-basierter Modellierungsumgebung und Simulator
• Lesen, Anpassen und Ausführen einfacher Modelle

Praxisanteil

Im Seminar wird ein kleines POOSL-Beispielmodell analysiert, erweitert und simuliert. Dadurch wird sichtbar, wie sich formale Strenge, Simulation und Verständlichkeit im Alltag tatsächlich verhalten. Der Nutzen liegt besonders darin, vorhandene Berührungsängste abzubauen und eine saubere Grundlage für weiterführende Themen wie Analyse, Verifikation oder Performance-Betrachtung zu schaffen.

Zielgruppe

Geeignet ist das Seminar für Architekten, Entwickler, Systemdesigner sowie für Fachleute aus Analyse, Verifikation und Performance-Modellierung, die POOSL zunächst fundiert kennenlernen wollen.

Vorkenntnisse

Hilfreich sind Grundlagen zu Nebenläufigkeit, Kommunikationsmodellen und Zustandsverhalten. Tiefe Vorkenntnisse in formalen Methoden sind nicht erforderlich.