10 likes | 130 Vues
Metamodeling Infrastructure for Model-Integrated Computing. Formal, Verifiable Modeling Using MOF and Metamodel Libraries. Formally-Specified MOF. Meta- Metamodel. Library Metamodel. Library Metamodel. Formally-Specified DSML. Metamodels. Verifiable Model. Models.
E N D
Metamodeling Infrastructure for Model-Integrated Computing Formal, Verifiable Modeling Using MOF and Metamodel Libraries Formally-Specified MOF Meta- Metamodel Library Metamodel Library Metamodel Formally-Specified DSML Metamodels Verifiable Model Models The Meta Object Facility (MOF) is the OMG standard for representing metamodels - a meta-metamodel for the rapid specification, construction, and management of domain-specific technology-neutral modeling languages. We have extended the MOF v1.4 with facilities for the expression of graphical DSML syntax in GME. Ultimately, MOF will be the primary language used for defining new GME paradigms. MOF Metamodel Libraries Formal MOF Specification MOF2MetaGME + Meta-Interpreter GME Modeling Paradigm Metamodel in MOF We have provided a graphical MOF modeling paradigm for GME. Metamodels constructed in MOF may be transformed into equivalent MetaGME metamodels using MOF2MetaGME, a GReAT transformation rule-set based on an abstract syntax mapping between the two metamodeling languages. Using the MetaGME metamodels built with MOF2MetaGME, we can generate graphical modeling paradigms for use in GME which faithfully reflect their MOF specifications. Matthew J. Emerson, Kai Chen, Andrew D. Dixon, Janos Sztipanovits MIC is a successful technology for the design and implementation of computer-based systems modeling specific, well-defined engineering domains. The four-layer Domain-Specific Modeling Architecture is a technical approach to MIC. Our research focuses on the creation of a solid mathematical foundation and tool support for each layer of the DSMA. Formal, Verifiable Modeling Using MOF and Metamodel Libraries We envision a standard library of canonical metamodels representing a variety of common metamodeling design patterns and fundamental models of computation used in many domains. The metamodeling language creates a “universal” set space for DSMLs, and a DSML creates a domain-specific set space for the models in its domain. Metamodels of Standard Models of Computation: Data Flow Shared Memory System Finite State Machine … Metamodels of Design Patterns: Hierarchy Scoping Proxying … Library Data Flow Metamodel Mathematical Foundation for DSMA Ptolemy Signal Data Flow Metamodel Tool-oriented DSML Design We can speed the development of new domain-specific modeling languages by extending and composing the library metamodels. Tool-oriented DSML design includes tool-oriented metamodel and model design, OCL constraint management, and DSML interpreter generation. May 10, 2004