Cantitate/Preț
Produs

Certifying Rule-Based Models Using Graph Transformation: Communities in Private-Collective Innovation

Autor Leen Lambers
en Limba Engleză Paperback – 29 oct 2015

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.

Citește tot Restrânge

Preț: 43195 lei

Preț vechi: 53994 lei
-20%

Puncte Express: 648

Preț estimativ în valută:
8276 8964$ 7097£

Carte tipărită la comandă

Livrare economică 06-13 mai

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783838116501
ISBN-10: 383811650X
Pagini: 244
Dimensiuni: 152 x 229 x 14 mm
Greutate: 0.36 kg
Editura: Sudwestdeutscher Verlag Fur Hochschulschrifte

Notă biografică

The author has been working from Oct. 2003 until Dec. 2009 as ascientific assistant in the group of Prof. Hartmut Ehrig at theTechnische Universität in Berlin. From Jan. 2010 she is doingresearch as a postdoc on the DFG-project CorMorant (correct modeltransformations) in the group of Prof. Holger Giese at the HassoPlattner Institut in Potsdam.