Blick ins Buch

Statecharts in CSP

Ein Prozessmodell in CSP zur Analyse von Statemate-Statecharts

Jan J Hiemer (Autor)

Buch | Hardcover

190 Seiten

1999
Kovac, Dr. Verlag
978-3-86064-929-9 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)

Titel leider nicht mehr lieferbar

Artikel merken

Graphische Notationen werden heute standardmäßig zur Modellierung komplexer Softwaresysteme eingesetzt. Eine gängige Notation für die Entwicklung von Steuerungssystemen sind die von Harel eingeführten Statecharts, die durch das Werkzeug Statemate unterstützt wird. Bei der bestehenden Komplexität der Softwaremodelle werden immer stärker Analyseverfahren benötigt, die die industrielle Softwareentwicklung weitgehend unterstützen können. In diesem Buch wird eine neuartige Übersetzungstechnik von Statecharts nach CSP (Communicating Sequential Processes) vorgestellt, auf deren Basis bereits etablierte Softwarewerkzeuge zur Verifikation von Statecharts eingesetzt werden können. Mit dieser Arbeit ist ein erster und wichtiger Schritt getan, um formale Analysetechniken auch in der Softwareentwicklung mit dem Werkzeug STATEMATE einsetzen zu können.

Reihe/Serie	Schriftenreihe Forschungsergebnisse zur Informatik ; 48
Zusatzinfo	46 Abb.
Verlagsort	Hamburg
Sprache	deutsch
Maße	150 x 210 mm
Gewicht	247 g
Einbandart	gebunden
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
Schlagworte	CSP • Formale Spezifikation • HC/Informatik, EDV/Informatik • Informatik • Statecharts • Statemate • Systemmodellierung • Übersetzungstechniken • Verifikation
ISBN-10	3-86064-929-9 / 3860649299
ISBN-13	978-3-86064-929-9 / 9783860649299
Zustand	Neuware