Contact
Comment faire ses achats
Livraison
Guide d'achat
Certifying Rule-Based Models Using Graph Transformation
Anglais
194 b
Jusqu'à 30 jours pour les retours
Les clients ont également acheté
/
Livre de poche
14.82
€
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.
À propos du livre
Anglais
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataireCeci pourrait également vous intéresser
/
Livre de poche
8.56
€
/
Livre de poche
18.15
€
/
Livre relié
20.87
€
/
Livre de poche
40.54
€
/
Livre de poche
10.28
€
Bonjour ! Je suis Libroamiko, votre conseiller littéraire.
Comment puis-je vous aider ?