Technical Report
Frisco STDA - Werkzeug zur methodischen Bearbeitung von Automaten
Author(s): Michael Fahrmair, Bernhard Rumpe
Year: 1998
Number: TUM-I9815
Editor:
CR Classification: D.2
CR General Terms: Design, Automata, Verification
Keywords: Refinement, Tool
Abstract:In diesem Bericht ist die Entwicklung
eines Werkzeuges zum Einsatz von
Automaten in der Softwareentwicklung
beschrieben.
Basierend auf einer
existierenden
formalen Methodik des Entwurfs
verteilter objektorientierter
Systeme wird ein Teilaspekt
dieser Methodik, die Beschreibung von
Klassen
mittels Verhaltensautomaten,
implementiert.
Das Werkzeug wurde als
Komponente für
die Werkzeugplattform OEF
realisiert und greift, soweit
möglich,
auf bereits bestehende
Werkzeugkomponenten zurück, die in einer
neu entwickelten Komponentenarchitektur,
welche die Austauschbarkeit von
Einzelkomponenten ermöglicht, vereint
sind.
Diese Arbeit umfaßt:
Eine
informelle Einführung in die
der Arbeit zugrundeliegende formale
Methodik
(Theorie).
Ein Tutorial zum Erlernen der
komplexen Werkzeugfunktionen.
\item
Ausführliche Bedienungsanleitung
des Werkzeugs.
Die Beschreibung einer
allgemein
für komplexe OEF-Werkzeuge anwendbaren
Architektur, welche einen
Model-View-
Mechanismus in einer Umgebung hochgradig
wiederverwendbarer
Komponenten
realisiert und die praktische
Implementierung für das konkrete
Werkzeug.
Theoretische Betrachtungen über
das Parsen von Diagrammen, d.h.
gemischt graphischer und textueller
Information.
Ableitung und Implementierung
eines einfachen Lösungsansatzes zum
Parsen graphischer Informationen für den
konkreten Fall der Automatendiagramme.
Anpassung eines existierenden
Parsers
(FriscoF) zum exemplarischen
Parsen des Textanteils von
Automatendiagrammen.
Available as compressed Postscript
BibTeX-Entry:
<![CDATA[
@techreport{FR98,
author = {Michael Fahrmair and Bernhard Rumpe},
title = {Frisco STDA - Werkzeug zur methodischen Bearbeitung von Automaten},
number = {TUM-I9815},
institution = {Technische Univerit\"at M\"unchen},
year = {1998},
url = {http://www4.informatik.tu-muenchen.de/reports/FR98.html},
abstract = {In diesem Bericht ist die Entwicklung
eines Werkzeuges zum Einsatz von
Automaten in der Softwareentwicklung
beschrieben.
Basierend auf einer
existierenden
formalen Methodik des Entwurfs
verteilter objektorientierter
Systeme wird ein Teilaspekt
dieser Methodik, die Beschreibung von
Klassen
mittels Verhaltensautomaten,
implementiert.
Das Werkzeug wurde als
Komponente für
die Werkzeugplattform OEF
realisiert und greift, soweit
möglich,
auf bereits bestehende
Werkzeugkomponenten zurück, die in einer
neu entwickelten Komponentenarchitektur,
welche die Austauschbarkeit von
Einzelkomponenten ermöglicht, vereint
sind.
Diese Arbeit umfaßt:
Eine
informelle Einführung in die
der Arbeit zugrundeliegende formale
Methodik
(Theorie).
Ein Tutorial zum Erlernen der
komplexen Werkzeugfunktionen.
\item
Ausführliche Bedienungsanleitung
des Werkzeugs.
Die Beschreibung einer
allgemein
für komplexe OEF-Werkzeuge anwendbaren
Architektur, welche einen
Model-View-
Mechanismus in einer Umgebung hochgradig
wiederverwendbarer
Komponenten
realisiert und die praktische
Implementierung für das konkrete
Werkzeug.
Theoretische Betrachtungen über
das Parsen von Diagrammen, d.h.
gemischt graphischer und textueller
Information.
Ableitung und Implementierung
eines einfachen Lösungsansatzes zum
Parsen graphischer Informationen für den
konkreten Fall der Automatendiagramme.
Anpassung eines existierenden
Parsers
(FriscoF) zum exemplarischen
Parsen des Textanteils von
Automatendiagrammen.},
CRClassification = {D.2},
CRGenTerms = {Design, Automata, Verification}}
]]>