model transformation

GReAT: Graph Rewriting and Transformation


'Graph Rewriting and Transformation' is a tool for building model transformation tools using graph transformation techniques. GReAT uses metamodels to specify the abstract syntax of the input and the target models (i.e. the modeling languages), and sequenced graph rewriting rules for specifiying the transformation itself.

The approach used in GReAT is illustrated below.

Model Integrated Computing

Model-Integrated Computing (MIC) has been developed over two decades at ISIS, Vanderbilt University for building a wide range of software systems. MIC focuses on the formal representation, composition, analysis, and manipulation of models during the design process. It places models in the center of the entire life-cycle of systems, including specification, design, development, verification, integration, and maintenance.