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

Die Forschung konzentriert sich auf die formale Modellierung, Verifikation und Synthese komplexer verteilter Systeme und Service-orientierter Architekturen. Dabei werden mathematische Methoden wie Abstract State Machines und Petrinetze eingesetzt, um die Korrektheit und Zuverlässigkeit von Softwarekomponenten zu gewährleisten. Ein weiterer Schwerpunkt liegt auf der automatischen Generierung von Adaptern und der Optimierung von Geschäftsprozessen durch algorithmische Ansätze. Die Arbeiten verbinden theoretische Informatik mit praktischen Anwendungen in der Softwareentwicklung und Systemintegration.

🔒 Das System hat 351 mögliche Industrie-Partner gefunden — Firmen, Scores und Begründungen sind nur für eingeloggte Nutzer:innen sichtbar. Anmelden

• 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 ↗

Noch keine Publikationen aus OpenAlex zugeordnet.