Online Validation of Visual Model Transformations: Validating graph rewriting-based visual model transformations - Couverture souple

Lengyel, László

 
9783838310572: Online Validation of Visual Model Transformations: Validating graph rewriting-based visual model transformations

Synopsis

Model-based approaches in development are widely recognized as a potential way of increasing productivity in software engineering. Model-based development is driven by model transformations. There is a demand for researching the ways how model transformation can become more flexible, efficient, and highly-configurable as well as validated. This thesis addresses issues of visually defined validated model transformations. The first contribution deals with the relationship between the pre- and postconditions and the Object Constraint Language (OCL) constraints enlisted in model transformation rules. This construct provides the background of an online validated transformation approach. The second result group provides an aspect-oriented constraint management approach to solve the problem of the crosscutting constraints. This method facilitates consistent constraint management in model transformation rules, furthermore, it makes the constraints as well as the transformation rules reusable. The third contribution includes the realization a visual control flow language (VCFL).

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Présentation de l'éditeur

Model-based approaches in development are widely recognized as a potential way of increasing productivity in software engineering. Model-based development is driven by model transformations. There is a demand for researching the ways how model transformation can become more flexible, efficient, and highly-configurable as well as validated. This thesis addresses issues of visually defined validated model transformations. The first contribution deals with the relationship between the pre- and postconditions and the Object Constraint Language (OCL) constraints enlisted in model transformation rules. This construct provides the background of an online validated transformation approach. The second result group provides an aspect-oriented constraint management approach to solve the problem of the crosscutting constraints. This method facilitates consistent constraint management in model transformation rules, furthermore, it makes the constraints as well as the transformation rules reusable. The third contribution includes the realization a visual control flow language (VCFL).

Biographie de l'auteur

László Lengyel received his Ph.D degree in 2006. He is Associate Proffesor at Department of Automation and Applied Informatics of the Budapest University of Technology and Economics. His research field is metamodeling, graph rewriting-based model transformation, validated model transformation, aspect-oriented techniques.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.