Anforderungsformalisierung für synchron kommunizierende Prozesse mit Trace-Diagrammen

摘要

In einer Logik von Spezialisten formalisierte Anforderungen sind oft für Experten eines Anwendungsgebietes schwer verständlich. Graphische Darstellungen der Anforderungen können das Verständnis wesentlich erleichtern. Trace-Diagramme sind ein neuer graphischer Formalismus, der während eines Projektes mit den Philips Forschungslaboratorien Aachen zur Visualisierung von Anforderungen für synchron kommunizierende Telekommunikationssysteme entwickelt wurde. Trace-Diagramme haben eine graphische und eine textuelle Repräsentation, sowie eine formale Semantik.