Beobachtbarkeit von halbgeordneten Abläufen mittels Test-Szenarios, Aktionsverfeinerung und temporaler Logik

• Applicant: Professor Dr. Walter Vogler
• Subject Area: Theoretical Computer Science
• Term: from 1994 to 2001
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 5149758

Ziel des Forschungsvorhabens ist es, in erster Linie unter Verwendung von Petrinetzen zu untersuchen, ob und welche auf Halbordnungen gestützte Verhaltensbeschreibungen dieses Kriterium erfüllen. Dazu sollen vor allem Test-Szenarios betrachtet werden, die eine explizite Zeitkomponente haben oder die räumliche Verteilung der Aktionen berücksichtigen. Zeitliche Tests sollen auch unabhängig von Halbordnungen erforscht werden, um verteilte Systeme aufgrund ihrer Effizienz zu vergleichen. Im weiteren soll untersucht werden, ob die auf diese Weise erzielten Ergebnisse für Realzeit-Anwendungen genutzt werden können.

• DFG Programme: Research Grants