COPY - Spezifikation und Verifikation objekt-orientierter Design-Patterns im Kontext nebenläufiger Objektsemantiken

Um nebenläufige Softwaresysteme auf breiter Basis entwickeln zu können, bedarf es einfacher Ausdrucksmittel und verlässlicher Entwurfspraktiken. Eine einfache und vielversprechende Abstraktion für parallele Programmierabschnitte sind nebenläufige Objekte bzw. Actors.

Im COPY-Projekt werden etablierte objektorientierte Entwurfspraktiken in Form von DesignPatterns aus dem sequentiellen objektorientierten Kontext in einen nebenläufigen Actor-Object-Kontext übertragen und dort hinsichtlich ihrer semantischen Stabilität und Wiederverwendbarkeit untersucht. Das Projekt befasst sich inhaltlich

  • mit der formalen Spezifikation von DesignPatterns,
  • mit der beweisorientierten Mechanisierung von Actor-Object-Logiken und
  • mit der Verifikation sicherheitskritischer Design-Pattern-Eigenschaften im nebenläufigen Kontext.

Das Projekt soll etablierte Entwurfspraktiken des Software-Engineering in die Domäne paralleler Systeme überführen und ihnen außerdem eine präzise formale Fundierung geben.

Projektmitarbeiter

Projektdauer

10/2010 - 08/2014

Finanzierungsträger

Unsere Webseite verwendet Cookies. Diese haben zwei Funktionen: Zum einen sind sie erforderlich für die grundlegende Funktionalität unserer Website. Zum anderen können wir mit Hilfe der Cookies unsere Inhalte für Sie immer weiter verbessern. Hierzu werden pseudonymisierte Daten von Website-Besuchern gesammelt und ausgewertet. Das Einverständnis in die Verwendung der technisch nicht notwendigen Cookies können Sie jeder Zeit wiederrufen. Weitere Informationen erhalten Sie auf unseren Seiten zum Datenschutz.

Erforderlich

Diese Cookies werden für eine reibungslose Funktion unserer Website benötigt.

Statistik

Für den Zweck der Statistik betreiben wir die Plattform Matomo, auf der mittels pseudonymisierter Daten von Websitenutzern der Nutzerfluss analysiert und beurteilt werden kann. Dies gibt uns die Möglichkeit Websiteinhalte zu optimieren.

Name Zweck Ablauf Typ Anbieter
_pk_id Wird verwendet, um ein paar Details über den Benutzer wie die eindeutige Besucher-ID zu speichern. 13 Monate HTML Matomo
_pk_ref Wird benutzt, um die Informationen der Herkunftswebsite des Benutzers zu speichern. 6 Monate HTML Matomo
_pk_ses Kurzzeitiges Cookie, um vorübergehende Daten des Besuchs zu speichern. 30 Minuten HTML Matomo