Startseite Statecharts in CSP
Hiemer: Statecharts in CSP
Hiemer: Statecharts in CSP

Jan-Juan Hiemer - Statecharts in CSP

Ein Prozeßmodell in CSP zur Analyse von STATEMATE-Statecharts

69,95 €
69,95 €
inkl. MwSt.
zzgl. Versandkosten

Lieferzeit max. 5 Tage *

Die Menge muss 1 oder mehr sein

Lieferung & Versand

  • Warensendung bis 500 g
    0,00 €
    Lieferzeit max. 5 Tage

Über das Buch

Zum Inhalt

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. [...]

Schlagworte

CSP, Statemate, Statecharts, Systemmodellierung, formale Spezifikation, Verifikation, Übersetzungstechniken, Informatik

  • Autor*in
    Jan-Juan Hiemer
  • Seiten
    190
  • Jahr
    Hamburg 1999
  • ISBN
    978-3-86064-929-9
  • Schriftenreihe
    Forschungsergebnisse zur Informatik
  • ISSN
    1435-6260
  • Band
    48
  • Fachbereich
    Naturwissenschaft, Technik & Medizin

Lieferzeit

(*) Die Lieferzeit beträgt innerhalb Deutschlands üblicherweise 2 bis 3 Werktage ab Zahlungseingang. Bei Bestellungen an Wochenenden und Feiertagen verzögert sich die Auslieferung entsprechend.