|
|
|
| |
| |
|
|
|
Project
|
|
Project
|
GME: The Generic Modeling Environment
|
|
Project URL
|
http://www.isis.vanderbilt.edu/Projects/gme/
|
|
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
|
|
People
|
| Gyorgy Balogh
|
bogyom@isis-server.isis.vanderbilt.edu
|
|
| Akos Ledeczi
|
first name dot last name at vanderbilt dot edu
|
|
| Miklos Maroti
|
miklos.maroti@vanderbilt.edu
|
|
| Zoltan Molnar
|
zolmol@isis.vanderbilt.edu
|
|
| Tamas Paka
|
tamas.paka@vanderbilt.edu
|
|
| Gabor Pap
|
gabor.pap at vanderbilt.edu
|
|
| Peter Volgyesi
|
peter.volgyesi@vanderbilt.edu
|
|
|
Publications
|
| 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.
|
|
|
Research
|
| 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
|
|
|
