Technical Report
Formale Syntax zur logischen Kernsprache der FOCUS-Entwicklungsmethodik
Author(s): Bernhard Schätz, Katharina Spies
Year: 1995
Number: TUM-I9529
Editor:
CR Classification:
CR General Terms:
Keywords: Focus, verteilte Systeme, Spezifikationssprache, Netzwerk
Abstract:Mit der Methodik FOCUS wird ein allgemeiner Rahmen zur Spezifikation und Entwicklung verteilter Systeme vorgegeben. Die Systeme werden als Netzwerke bestehend aus sogenannten Basisagenten aufgebaut und im allgemeinen durch Mengen von stromverarbeitenden Funktionen modelliert. Um dem Anwender das Erstellen formaler Spezifikationen zu erleichtern, die Spezifikationen zu vereinheitlichen und die oft vorhandene Hemmschwelle beim Umgang mit komplexen, formalen Methoden zu überwinden, wird in der vorliegenden Arbeit die Syntax der logischen Kernsprache ANDL (Agent Network Description Language) zur Spezifikation von Agenten festgelegt. Auf der Basis von HOLCF, einer Logik höherer Stufe zur Beschreibung berechenbarer Funktionen, und mit Hilfe der Syntax des Beweisunterstützungswerkzeugs Isabelle werden die in FOCUS für Ströme festgelegten Basisoperatoren definiert. Auf der so festgelegten theoretischen Basis wird dann ein leicht verständliche und möglichst einfacher syntaktischer Rahmen für FOCUS festgelegt, der insbesondere eine gut lesbare Schnittstellenbeschreibung umfaßt.
Available as compressed Postscript
BibTeX-Entry:
<![CDATA[
@techreport{TUM-I9529,
author = {Bernhard Schätz and Katharina Spies},
title = {Formale Syntax zur logischen Kernsprache der FOCUS-Entwicklungsmethodik},
number = {TUM-I9529},
institution = {Technische Univerit\"at M\"unchen },
year = {1995},
url = {http://www4.informatik.tu-muenchen.de/reports/TUM-I9529.html},
abstract = {Mit der Methodik FOCUS wird ein allgemeiner Rahmen zur Spezifikation und Entwicklung verteilter Systeme vorgegeben. Die Systeme werden als Netzwerke bestehend aus sogenannten Basisagenten aufgebaut und im allgemeinen durch Mengen von stromverarbeitenden Funktionen modelliert. Um dem Anwender das Erstellen formaler Spezifikationen zu erleichtern, die Spezifikationen zu vereinheitlichen und die oft vorhandene Hemmschwelle beim Umgang mit komplexen, formalen Methoden zu überwinden, wird in der vorliegenden Arbeit die Syntax der logischen Kernsprache ANDL (Agent Network Description Language) zur Spezifikation von Agenten festgelegt. Auf der Basis von HOLCF, einer Logik höherer Stufe zur Beschreibung berechenbarer Funktionen, und mit Hilfe der Syntax des Beweisunterstützungswerkzeugs Isabelle werden die in FOCUS für Ströme festgelegten Basisoperatoren definiert. Auf der so festgelegten theoretischen Basis wird dann ein leicht verständliche und möglichst einfacher syntaktischer Rahmen für FOCUS festgelegt, der insbesondere eine gut lesbare Schnittstellenbeschreibung umfaßt. },
CRClassification = {},
CRGenTerms = {}}
]]>