Project GME: The Generic Modeling Environment
Project URL
Project Description GME is a configurable graphical modeling environment that supports building multi-aspect, hierarchical models. It also has flexible constraint management and automatic program synthesis capabilities.
Project Group Core ISIS Technology
Project Start Date 1/1/1999
Project End Date 12/31/2004

Gyorgy Balogh


Akos Ledeczi

first name dot last name at vanderbilt dot edu


Miklos Maroti


Zoltan Molnar


Tamas Paka


Gabor Pap

gabor.pap at


Peter Volgyesi


Ledeczi A., Balogh G., Molnar Z., Volgyesi P., Maroti M.: Model Integrated Computing in the Large, IEEE Aerospace, CD Rom, Big Sky, MT, March 6, 2005.


Volgyesi P., Maroti M., Ledeczi A.: Model-based Software Synthesis for Distributed Control Systems and Sensor Networks., International Carpathian Control Conference, , High Tatras, Slovak Republic, May 26, 2003.


Karsai G., Maroti M., Ledeczi A., Gray J., Sztipanovits J.: Composition and Cloning in Modeling and Meta-Modeling, IEEE Transactions on Control System Technology, (accepted), 2003.


Agrawal A., Karsai G., Shi F.: Interpreter Writing using Graph Transformations, ISIS-03-401, 2003.


Volgyesi P., Ledeczi A.: Component-Based Development of Networked Embedded Applications, 28th Euromicro Conference, Component-Based Software Engineering Track, , Dortmund, Germany, September, 2002.


Gray J., Bapty T., Neema S., Ledeczi A.: Viewpoints and Aspects in Domain-Specific Modeling, 1st International Conference on Aspect-Oriented Software Development , Demonstration, Enschede, The Netherlands, April, 2002.


Ledeczi A., Maroti M., Bakay A., Nordstrom G., Garrett J., Thomason IV C., Sprinkle J., Volgyesi P.: GME 2000 Users Manual (v2.0), document, December 18, 2001.


Ledeczi A., Bakay A., Maroti M., Volgyesi P., Nordstrom G., Sprinkle J., Karsai G.: Composing Domain-Specific Design Environments, Computer, pp. 44-51, November, 2001.


Ledeczi A., Maroti M., Bakay A., Karsai G., Garrett J., Thomason IV C., Nordstrom G., Sprinkle J., Volgyesi P.: The Generic Modeling Environment, Workshop on Intelligent Signal Processing, accepted, Budapest, Hungary, May 17, 2001.


Bapty T., Neema S., Scott J., Sztipanovits J., Asaad S.: Model-Integrated Tools for the Design of Dynamically Reconfigurable Systems, ISIS Technical Report/Vanderbilt University, 2000.


Ledeczi A., Maroti M., Karsai G., Nordstrom G.: Metaprogrammable Toolkit for Model-Integrated Computing, Engineering of Computer Based Systems (ECBS) , pp. 311-317, Nashville, TN, March, 1999.


Generic support for visual modeling

ISIS has developed a generic modeling environment (GME) that supports the editing of domain-specific models. This tool is a "meta-tool" as it can be tailored for the needs of specific domains with various semantics. The further development of this tool and the supporting infrastructure for meta-modeling is a very active area of research.


Modeling languages

ISIS has developed a large number of visual languages for modeling complex systems. Designing and implementing modeling languages for domain-specific applications is one of the key characteristics of our research.


Model Integrated Computing

Providing rich, domain-specific modeling environments including model analysis and model-based program synthesis tools.

Associated Keywords
domain-specific modeling, formal methods, Model-based, Modeling, models, meta-level environment, MIC, domain-specific environment, domain-specific program synthesis, GME, Metamodeling, model interpreters, Model-based systems, Model-Integrated Computing Environment, model-integrated system development, Modeling Paradigms, Multigraph Architecture, Model-Integrated Computing


Distributed Object Computing
Model-Integrated Computing
Model-Driven Architecture
Current Papers & Reports
Archived Papers & Reports