Managing constraints of validation in model transformations

Model-Driven Development (MDD) facilitates the synthesis of application programs from models using customized, domain-specific model processors. MDD appears in many, different areas including telecommunication services, communication protocols, enterprise networking and multimedia systems. Model compilers can be realized by graph rewriting-based model transformations, where constraints ensuring the validation can be assigned to model transformation rules. The approach supports validated model processing. This paper introduces new algorithms applied to manage validation constraints in model transformation rules. The presented algorithms facilitate the better understanding of the transformations, their easier constraint-based configuration, and make both the constraints and the rewriting rules reusable.