Validated model transformation-driven software development

Authors:
Laszlo Lengyel;Tihamer Levendovszky;Hassan Charaf
Affiliations:
Department of Automation and Applied Informatics, Budapest University of Technology and Economics, 1111 Budapest, Goldmann Gyorgy ter 3, Hungary.;Department of Automation and Applied Informatics, Budapest University of Technology and Economics, 1111 Budapest, Goldmann Gyorgy ter 3, Hungary.;Department of Automation and Applied Informatics, Budapest University of Technology and Economics, 1111 Budapest, Goldmann Gyorgy ter 3, Hungary
Venue:
International Journal of Computer Applications in Technology
Year:
2008

Citing 9
Cited 3

Handbook of graph grammars and computing by graph transformation: volume I. foundations

Handbook of graph grammars and computing by graph transformation: volume I. foundations
Integrating UML diagrams for production control systems

Proceedings of the 22nd international conference on Software engineering
Model-Integrated Computing

Computer
Aspect Weaving with Graph Rewriting

GCSE '99 Proceedings of the First International Symposium on Generative and Component-Based Software Engineering
Generative Programming for Embedded Systems

GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
How to Uniformly Specify Program Analysis and Transformation with Graph Rewrite Systems

CC '96 Proceedings of the 6th International Conference on Compiler Construction
.Net Framework Essentials

.Net Framework Essentials
Metamodel driven model migration

Metamodel driven model migration
Constraint validation support in visual model transformation systems

Acta Cybernetica

Global software development using the 24-Hour Knowledge Factory paradigm

International Journal of Computer Applications in Technology
Feasibility study of software reengineering towards role-based access control

International Journal of Computer Applications in Technology
A feature-oriented approach to platform-specific modelling of coarse-grained components

International Journal of Computer Applications in Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

Model-driven Software Engineering is one of the most focused research fields. Model processors automatically generate the lower level artefacts. Graph transformation is a widely used technique for model transformations. Especially visual model transformations can be expressed by graph transformations. This paper presents a visual control flow support of the Visual Modelling and Transformation System and discusses the principles of the constraint-driven validated model transformation. The presented approach helps to validate, preserve or guarantee certain model properties not only for individual transformation rules but also for the whole transformation.