Core Concepts
Effiziente Offline-Laufzeitüberprüfung von Verteilten Systemen durch Interaktionsmodelle mit Lifeline-Entfernung.
Abstract
Die Offline-Laufzeitüberprüfung (ORV) bezieht sich auf die Beobachtung von Systemausführungen und deren Konfrontation mit formalen Spezifikationen.
Interaktionsmodelle werden als Referenzmodelle in der Laufzeitüberprüfung für Verteilte Systeme verwendet.
Die Analyse von Multi-Traces stellt eine Herausforderung dar, da keine praktischen Mittel zur Synchronisierung der Beobachtungen aller lokalen Traces vorhanden sind.
Die Lifeline-Entfernung wird eingeführt, um nicht mehr beobachtete Teile der Interaktion zu ignorieren und die Analyse von Multi-Traces zu verbessern.
Die Überprüfung von Multi-Traces gegen Interaktionsmodelle erfolgt durch die Einführung von Optimierungstechniken.
Experimente zeigen die Anwendung des Ansatzes und die Vorteile der Optimierungen.
Stats
Es wurden keine Sätze mit wichtigen Metriken oder Zahlen gefunden.
Quotes
Es wurden keine markanten Zitate gefunden.