2477878_NSB_196x438
Unsere Musik-Bestseller!
  1. Greatest Hits & All-Time Classics Platz 1: Greatest Hits & All-Time Classics
  2. I am Everything Platz 2: I am Everything
  3. Shalala + GRATIS Kofferanhänger Platz 3: Shalala + GRATIS Kofferanhänger
  4. Junction 55 Platz 4: Junction 55
  5. Himmelfahrt Platz 5: Himmelfahrt
Unsere Geschenkideen!
  1. Tragbarer DVD-Player 7" Platz 1: Tragbarer DVD-Player 7"
  2. Benson Bluetooth Kopfhörer Platz 2: Benson Bluetooth Kopfhörer
  3. Piggy, das flauschige grunzende Sparschwein Platz 3: Piggy, das flauschige grunzende Sparschwein
  4. Bunny - Das tanzende, singende und sprechende Häschen mit LED Platz 4: Bunny - Das tanzende, singende und sprechende Häschen mit LED
  5. Silber Halskette mit Herzanhänger 925er/ Silber Platz 5: Silber Halskette mit Herzanhänger 925er/ Silber

Certifying Rule-Based Models using Graph Transformation

Produktbild
Autor:
Leen Lambers
Verfügbarkeit:
Auf Lager.
Artikelnummer:
992998
SFr. 139,95
Versandkosten

  • Produktbeschreibung

    Certifying Rule-Based Models using Graph Transformation

    Many systems exhibit rule-based behavior that can be modeled very well by means of graph transformation. In this thesis, a new graph transformation theory is introduced for rules describing not only positive pre- and post-conditions, but also so-called negative application conditions. Present analysis techniques are extended for this more expressive kind of graph transformation. Moreover, new kinds of analysis techniques are introduced and present techniques are improved. The main part of the newly developed theory is formulated in the more abstract adhesive high-level-transformation framework. Consequently, the analysis techniques can be applied not only to graphs, but also to other complex structures such as Petri nets and attributed graphs. Finally, a general road map is presented leading to the certification of a selection of properties in rule-based models. The certification, based on graph transformation analysis techniques, is illustrated by a case study of an elevator control system. Moreover, the current tool support for certification of rule-based models using graph transformation provided by AGG is outlined.

  • Zusatzinformation

    Autor
    Bindung
    Taschenbuch
    Verlag
    Südwestdeutscher Verlag für Hochschulschriften
    ISBN / EAN
    9783838116501

  • Weitere beliebte Produkte
    Gustave Eiffel, La Tour de 300 metres
    Bertrand Lemoine
    Art.Nr. 1257326

    Gustave Eiffel,Tour de 300 metres

    SFr. 160,00
    Cloud Readiness
    Mirko Schrempp
    Art.Nr. 861147

    SharePoint Kompendium.1 Cloud Readiness

    SFr. 17,95
    Ernährung älterer Menschen
    Claudia Küpper
    Art.Nr. 1275715

    Küpper,C.:Ernährung älterer Menschen

    SFr. 25,95

  • 0 Kundenmeinungen

    Vielen Dank für das Interesse an unsere Kundenmeinungen.
    Wir können die Authentizität der Bewertungen nicht prüfen und sicherstellen.

    Schreiben Sie selbst eine Rezension

    Ihre Meinung interessiert uns – und hilft anderen Kunden bei der Auswahl.