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.
General
Imprint: |
Sudwestdeutscher Verlag Fur Hochschulschriften AG
|
Country of origin: |
United States |
Release date: |
June 2010 |
First published: |
June 2010 |
Authors: |
Leen Lambers
|
Dimensions: |
229 x 152 x 14mm (L x W x T) |
Format: |
Paperback - Trade
|
Pages: |
244 |
ISBN-13: |
978-3-8381-1650-1 |
Categories: |
Books >
Computing & IT >
General theory of computing >
General
|
LSN: |
3-8381-1650-X |
Barcode: |
9783838116501 |
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!