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

Lengyel, László

Softcover

ISBN 10: 3838310578 ISBN 13: 9783838310572

Publisher: LAP LAMBERT Academic Publishing, 2010

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).

About this title

About the Author

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.

Edition details

• Publisher: LAP LAMBERT Academic Publishing
• Publication date: 2010
• Language: English
• ISBN 10: 3838310578
• ISBN 13: 9783838310572
• Binding: Paperback
• Number of pages: 180