Keyword
Keyword Metamodeling
People
-- No matches --
Projects

Model-based Synthesis of Generators for Embedded Systems

This research is sponsored by the DARPA MoBIES program. Its objective is to automate the creation of model interpreters and other, related tools used for semantic conversion of information.

 

GME: The Generic Modeling Environment

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.

 

MetaGME Metamodeling Environment

GME-based toolsuite for specifying and synthesizing domain-specific modeling environments from UML/OCL-based metamodels.

 

Tools for formal modeling languages (4mlware)

Development of a formal backplane of tools that support analysis and interchange of models, metamodels, and DSMLs.

 
Publications

Kavimandan A., Gokhale A.: Automated Techniques for Mapping Domain-level QoS Requirements to Middleware-specific QoS Configurations, ISIS-07-808, May 31, 2007.

   

Chen K., Sztipanovits J., Neema S.: Compositional Specification of Behavioral Semantics, ISIS-06-705, June 1, 2006.

   

Chen K., Sztipanovits J., Abdelwahed S., Jackson E.: Semantic Anchoring with Model Transformations, European Conference on Model Driven Architecture -Foundations and Applications (ECMDA-FA), to appear, Nuremberg, Germany, November 7, 2005.

   

Dubey A., Xianbin Wu, Hang Su, Koo T.: Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach, Lecture Notes in Computer Science, 3707, pp. 114-128, October 11, 2005.

   

Chen K., Sztipanovits J., Neema S., Emerson M., Abdelwahed S.: Toward a Semantic Anchoring Infrastructure for Domain-Specific Modeling Languages, Proceedings of the Fifth ACM International Conference on Embedded Software (EMSOFT¡¯05), pp. 35-44, Jersey City, New Jersey, September 19, 2005.

   

Dubey A.: Metamodel Based Language and Computation Platform for Algorithmic Analysis of Hybrid Systems, Master's Thesis, Vanderbilt University, Electrical Engineering, July 28, 2005.

   

Ahuja S., Yao D., Neema S., Bapty T., Shetty S., Nordstrom S.: Dynamically Reconfigurable Monitoring in Large Scale Real-Time Embedded Systems, IEEE SoutheastCon, pp. 327, CD-Rom, Fort Lauderdale, Florida, April 8, 2005.

   

Derek Messie, Mina Jung, Jae C. Oh, Shetty S., Nordstrom S., Michael Haney: Prototype of Adaptive Embedded Software for Large-Scale Real-Time Systems, Engineering of Autonomic Systems, EASe, Greenbelt, MD,USA, April 6, 2005.

   

Agrawal A., Karsai G., Kalmar Z., Neema S., Shi F., Vizhanyo A.: The Design of a Language for Model Transformations, Journal of Software and System Modeling, in review, 2005.

   

Emerson M., Sztipanovits J., Bapty T.: A MOF-Based Metamodeling Environment, Journal of Universal Computer Science, 10, 10, pp. 1357-1382, October 9, 2004.

   

Sprinkle J., Karsai G.: A Domain-Specific Visual Language For Domain Model Evolution , Journal of Visual Languages and Computing, vol. 15, no. 2, April, 2004.

   

Nordstrom S., Shetty S., Chhokra K., Sprinkle J., Eames B., Ledeczi A.: ANEMIC: Automatic Interface Enabler for Model Integrated Computing, Generative Programming and Component Engineering (GPCE '03), (Accepted), Erfurt, Germany, September 22, 2003.

   

Sprinkle J.: Metamodel Based Model Migration, Area Paper, Vanderbilt University, Electrical Engineering, February 5, 2003.

   

Karsai G., Sztipanovits J., Ledeczi A., Bapty T.: Model-Integrated Development of Embedded Software, Proceedings of the IEEE, Vol. 91, Number 1, pp. 145-164, January, 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.

 

Howard L.: CAPE: A Visual Language for Courseware Authoring, 2nd Workshop on Domain-Specific Visual Languages, pp. 45-53, Seattle, WA, November 4, 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., Nordstrom G., Karsai G., Volgyesi P., Maroti M.: On Metamodel Composition, IEEE CCA 2001, CD-Rom, Mexico City, Mexico, September 5, 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.

   

Gray J.: Using Software Component Generators to Construct a Meta-Weaver Framework, 23rd International Conference on Software Engineering (ICSE 2001), Doctoral Symposium, Toronto, Ontario, Canada, May, 2001.

   

Sprinkle J., Karsai G., Ledeczi A., Nordstrom G.: The New Metamodeling Generation, IEEE Engineering of Computer Based Systems, Proceedings p.275, Washington, D.C., USA, April, 2001.

   

Ledeczi A., Davis J., Neema S., Eames B., Nordstrom G., Prasanna V., Raghavendra, C., Bakshi A., Mohanty S., Mathur V., Singh M.: Overview of the Model-based Integrated Simulation Framework, Tech. Report, ISIS-01-201, January 30, 2001.

   

Neema S., Davis J., Eames B., Ledeczi A.: Design Representation Issues in Polymorphous Computing, Tech. Report, ISIS-01-202, January 30, 2001.

   

Karsai G., Nordstrom G., Ledeczi A., Sztipanovits J.: Towards Two-Level Formal Modeling of Computer-Based Systems, Journal of Universal Computer Science, Vol. 6, No. 11, pp. 1131-1144, November, 2000.

   

Karsai G., Nordstrom G., Ledeczi A., Sztipanovits J.: Specifying Graphical Modeling Systems Using Constraint-based Metamodels, IEEE Symposium on Computer Aided Control System Design, Conference CD-Rom, Anchorage, Alaska, September 25, 2000.

   

Nordstrom G.: Formalizing the Specification of Graphical Modeling Languages, Proceedings of the IEEE Aerospace 2000 Conference, CD-ROM Reference 10.0402, Big Sky, MT, March, 2000.

   

Nordstrom G., Ledeczi A.: Formalizing the Specification of Graphical Modeling Languages, ISIS Technical Report ISIS-00-200, 2000.

   

Nordstrom G., Sztipanovits J., Karsai G., Ledeczi A.: Metamodeling - Rapid Design and Evolution of Domain-Specific Modeling Environments, Proceedings of the IEEE ECBS'99 Conference, pp. 68-74, Nashville, Tennessee, April, 1999.

   

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.

   

Nordstrom G.: Metamodeling - Rapid Design and Evolution of Domain-Specific Modeling Environments, Area Paper, Vanderbilt University, Electrical Engineering and Computer Science, October, 1998.

   

Nordstrom G., Sztipanovits J., Karsai G.: Metalevel Extension of the MultiGraph Architecture, Proceedings of the IEEE ECBS'98 Conference, pp. 61-68, Jerusalem, Israel, April, 1998.

   
Research
-- No matches --

 

Distributed Object Computing
Model-Integrated Computing
Model-Driven Architecture
Projects
Courses
SIPHER
Tutorials
Current Papers & Reports
Archived Papers & Reports
Presentations
Theses
Workshops/Seminars