Certifying Rule-Based Models Using Graph Transformation

Name: Certifying Rule-Based Models Using Graph Transformation
Brand: Sudwestdeutscher Verlag Fur Hochschulschriften AG
SKU: 9783838116501
Price: 30140 HUF
Availability: InStock

Szerző: Leen Lambers

Nyelv:

Kötés: Puha kötésű

Kiadó: Sudwestdeutscher Verlag Fur Hochschulschriften AG

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

30 140 Ft

Many systems exhibit rule-based behavior that can be modeled very well by means of graph transformat...

Információk a könyvről

Szerző

Leen Lambers

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2010

oldal

244

EAN

9783838116501

ISBN

383811650X

Enbook ID

06993460

Kiadó

Sudwestdeutscher Verlag Fur Hochschulschriften AG

Súly

363

Méretek

152 x 229 x 14

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Certifying Rule-Based Models Using Graph Transformation

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták