Spezifikationsmethodik für mobile, dynamische Focus-Netze

摘要

Dieses Papier stellt eine methodische Vorgehensweise für die Modellierung dynamischer und mobiler verteilter Systeme in Focus vor. Focus ist eine formale Methodik zur Entwicklung und Spezifikation verteilter, reaktiver Systeme. Wir geben Leitfäden und Spezifikationsschemata für dynamische, mobile Systeme an, gefolgt von der Beschreibung einiger Fallstudien. Ziel ist es, auch Anwendern, die mit den formalen Techniken von FOCUS nur wenig vertraut sind, die Erstellung formaler Spezifikationen zu ermöglichen.