Composition and cloning in modeling and meta-modeling

The Generic Modeling Environment (GME) is a configurable tool suite that facilitates the rapid creation of domain-specific model-integrated program synthesis environments. There are three characteristics of the GME that make it a valuable tool for the construction of domain-specific modeling environments. First, the GME provides generic modeling primitives that assist an environment designer in the specification of new graphical modeling environments. Second, these generic primitives are specialized to create the domain-specific modeling concepts through meta-modeling. The meta-models explicitly support composition enabling the creation of composite modeling languages supporting multiple paradigms. Third, several ideas from prototype-based programming languages have been integrated with the inherent model containment hierarchy, which gives the domain expert the ability to clone graphical models. This paper explores the details of these three ideas and their implications.

[1]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..

[2]  Peter Wegner,et al.  Programming Languages - The First 25 Years , 1976, IEEE Trans. Computers.

[3]  Edward A. Lee,et al.  System-Level Types for Component-Based Design , 2001, EMSOFT.

[4]  Rich Hilliard.  Views and Viewpoints in Software Systems Architecture , 2000 .

[5]  Gabor Karsai,et al.  Model-integrated program synthesis environment , 1996, Proceedings IEEE Symposium and Workshop on Engineering of Computer-Based Systems.

[6]  G. Nordstrom,et al.  Specifying graphical modeling systems using constraint-based meta models , 2000, CACSD. Conference Proceedings. IEEE International Symposium on Computer-Aided Control System Design (Cat. No.00TH8537).

[7]  Gabor Karsai,et al.  Model-based software synthesis , 1993, IEEE Software.

[8]  E. Long,et al.  Increasing Productivity at Saturn , 1998, Computer.

[9]  Douglas C. Schmidt,et al.  Patterns for concurrent and networked objects , 2000 .

[10]  V. Borkar,et al.  A unified framework for hybrid control: model and optimal control theory , 1998, IEEE Trans. Autom. Control..

[11]  Bashar Nuseibeh,et al.  Expressing the relationships between multiple views in requirements specification , 1993, ICSE '93.

[12]  Recommended Practice for Architectural Description of Software-Intensive Systems , 1999 .

[13]  V. Borkar,et al.  A unified framework for hybrid control : b background, model, and theory , 1994 .

[14]  Gabor Karsai,et al.  Metaprogrammable toolkit for model-integrated computing , 1999, Proceedings ECBS'99. IEEE Conference and Workshop on Engineering of Computer-Based Systems.

[15]  J. L. Paunicka,et al.  The OCP - an open middleware solution for embedded systems , 2001 .

[16]  Gabor Karsai,et al.  Composing Domain-Specific Design Environments , 2001, Computer.

[17]  Douglas C. Schmidt,et al.  Pattern-Oriented Software Architecture, Patterns for Concurrent and Networked Objects , 2013 .

[18]  Gabor Karsai,et al.  A Configurable Visual Programming Environment: A Tool for Domain-Specific Programming , 1995, Computer.

[19]  Janos Sztipanovits,et al.  Multi-domain surety modeling and analysis for high assurance systems , 1999, Proceedings ECBS'99. IEEE Conference and Workshop on Engineering of Computer-Based Systems.

[20]  P. Mosterman,et al.  A theory of discontinuities in physical system models , 1998 .

[21]  Randall B. Smith,et al.  SELF: The power of simplicity , 1987, OOPSLA '87.

[22]  Gabor Karsai,et al.  Smart Dust: communicating with a cubic-millimeter computer , 2001 .

[23]  PhD Iain Craig Ma.  The Interpretation of Object-Oriented Programming Languages , 2002, Springer London.

[24]  Jeffrey G. Gray,et al.  Handling crosscutting constraints in domain-specific modeling , 2001, CACM.

[25]  Henry Lieberman,et al.  Using prototypical objects to implement shared behavior in object-oriented systems , 1986, OOPLSA '86.

[26]  Jianfeng Wang,et al.  Diagnostics and integration in electric utilities , 2000, 2000 Rural Electric Power Conference. Papers Presented at the 44th Annual Conference (Cat. No.00CH37071).

[27]  William G. Griswold,et al.  Getting started with ASPECTJ , 2001, CACM.

[28]  C. J. Date.  An introduction to database systems (7. ed.) , 1999 .

[29]  Anneke Kleppe,et al.  The object constraint language: precise modeling with UML , 1998 .

[30]  Stéphane Bressan,et al.  Introduction to Database Systems , 2005 .

[31]  Gabor Karsai,et al.  Self-adaptive software for signal processing , 1998, CACM.

[32]  Gabor Karsai,et al.  Metamodeling-rapid design and evolution of domain-specific modeling environments , 1999, Proceedings ECBS'99. IEEE Conference and Workshop on Engineering of Computer-Based Systems.