• English
  • Deutsch
  • Log In
    Password Login
    Research Outputs
    Fundings & Projects
    Researchers
    Institutes
    Statistics
Repository logo
Fraunhofer-Gesellschaft
  1. Home
  2. Fraunhofer-Gesellschaft
  3. Buch
  4. MySZ. Ein Ansatz zur systematischen Verbindung von Z und Statecharts
 
  • Details
  • Full
Options
1996
Report
Title

MySZ. Ein Ansatz zur systematischen Verbindung von Z und Statecharts

Abstract
In diesem Report beschreiben wir den Spezifikationsformalismus My-SZ, der als Grundlage für die Integration von Statecharts und Z im ESPRESS Projekt dienen soll. My-SZ stellt einen hybriden Formalismus zur Spezifikation von Prozessen zu Verfügung: dynamisches Prozeßverhalten wird durch zeitbehaftetete Statecharts und das Datenmodell durch Z beschrieben. My-SZ umfasst einen Komponentenbegriff, der die Beschreibung von Prozeßobjekten durch Prozeßklassen in modularer Weise unterstützt. Aggregation und Assoziation von Prozeßobjekten wird über sogenannte Konfigurationen ermöglicht, die die (statische) Instantiierung von Prozeßklassen und die Definition von Sichtbarkeitsbereichen von Broadcastnachrichten realisieren. Generizität und Umbenennung bzw. Parametrisierung unterstützen die Formulierbarkeit von Kommunikationsbausteinen, die auf der Grundlage von Broadcasting High-Level Konzepte wie entfernte Operationsaufrufe und synchrone Kanalkommunikation implementieren.
Author(s)
Klar, M.
Büssow, R.
Dörr, H.
Geisler, R.
Grieskamp, W.
Publisher
TU  
Publishing Place
Berlin
Language
German
Fraunhofer-Institut für Software- und Systemtechnik ISST  
Keyword(s)
  • Anforderungsspezifikation

  • eingebettetes System

  • formale Spezifikation

  • reaktives System

  • statechart

  • Z

  • Cookie settings
  • Imprint
  • Privacy policy
  • Api
  • Contact
© 2024