Prof. Dr. rer. nat. habil. Wolfgang Reisig

• Spezifikation, Verifikation und Synthese global asynchroner - lokal synchroner (GALS) Systeme und Schaltungen

  Quelle ↗

  In diesem Projekt werden global asynchrone, aber lokal synchrone Systeme (GALS), eine spezielle Art von Hardware-Schaltungen (GALS-Schaltungen) modelliert.Hierzu wird ein Modell entwickelt, das Module mit ihrem Wrapper und insbesondere den Übergang zwischen Modul und Wrapper beschreibt. Als Modellierungsmethode erscheinen Petrinetze besonders geeignet, da synchrone Systeme durch sequentielle Abläufe und asynchrone Systeme durch verteilte Abläufe beschrieben werden können.

• Die Ausdruckskraft von Abstract State Machines I

  Quelle ↗

  Vor dem Hintergrund der klassischen Konzepte zur Systemmodellierung sind Gurevich's Abstract State Machines (ASM) ein theoretisch alternativer und in Anwendungen zunehmend wichtiger Ansatz. Dieses Projekt verfolgt zwei zentrale Teilziele: Die Ausdrucksstärke der wichtigen Klasse der verteilten ASM wird charakterisiert und es werden eigenschaftserhaltende Verfeinerungs- und Kompositionsmethoden für ASM entwickelt. Damit trägt das Projekt zum Verständnis der grundlegenden Aspekte und Konsequenzen des ASM-Ansatzes bei und hilft, ihn in sein wissenschaftliches Umfeld der Methoden der Systemmodellierung einzuordnen.

• Korrektheit und Zuverlässigkeit zusammengesetzter Web Services am Beispiel der Geschäftsprozess-Modellierungssprache BPEL

  Quelle ↗

  Unternehmensübergreifende Geschäftsprozesse werden zunehmend nach dem Paradigma der Services organisiert. Dabei stellen sich Fragen nach der Komponierbarkeit, Bedienbarkeit, Austauschbarkeit sowie der Rücksetzbarkeit (Kompensation) im Fehlerfall. In diesem Vorhaben werden Methoden und Werkzeuge zum Umgang mit solchen Fragen entwickelt, am Beispiel der Geschäftsprozess-Modellierungssprache BPEL erprobt und in ein Entwurfswerkzeug der Firma MEGA International GmbH integriert.

Noch keine Publikationen aus OpenAlex zugeordnet.