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.
Seminardetails
| Dauer: | 1 Tag ca. 6 h, Beginn: 10:00 Uhr |
| Preis: |
Öffentlich oder Live Stream: € 599 zzgl. MwSt. Inhaus: € 1.700 zzgl. MwSt. |
| Teilnehmeranzahl: | min. 2 - max. 8 |
| Teilnehmer: | Architekten, Entwickler, Systemdesigner, Analyse- und Verifikationsteams |
| Voraussetzungen: | Grundlagen zu Nebenläufigkeit, Kommunikationsmodellen und Zustandsverhalten sind hilfreich |
| Standorte: | Stream Live, Inhaus/Firmenseminar, Berlin, Bremen, Darmstadt, Dresden, Erfurt, Essen, Flensburg, Frankfurt, Freiburg, Friedrichshafen, Hamburg, Hamm, Hannover, Jena, Kassel, Köln, Konstanz, Leipzig, Luxemburg, Magdeburg, Mainz, München, Münster, Nürnberg, Paderborn, Potsdam, Regensburg, Rostock, Stuttgart, Trier, Ulm, Wuppertal, Würzburg |
| Methoden: | Vortrag, Demonstrationen, praktische Übungen am System, Diskussion von Modellierungsentscheidungen |
| Seminararten: | Öffentlich, Webinar, Inhaus, Workshop - Alle Seminare mit Trainer vor Ort, Webinar nur wenn ausdrücklich gewünscht |
| Durchführungsgarantie: | ja, ab 2 Teilnehmern |
| Sprache: | Deutsch - bei Firmenseminaren ist auch Englisch möglich |
| Seminarunterlage: | Dokumentation auf Datenträger oder als Download |
| Teilnahmezertifikat: | ja, selbstverständlich |
| Verpflegung: | Kalt- / Warmgetränke, Mittagessen (wahlweise vegetarisch) |
| Support: | 3 Anrufe im Seminarpreis enthalten |
| Barrierefreier Zugang: | an den meisten Standorten verfügbar |
| Weitere Informationen unter + 49 (221) 74740055 |
Seminartermine
Die Ergebnissliste kann durch Anklicken der Überschrift neu sortiert werden.
