Download presentation
Presentation is loading. Please wait.
1
Chess Review May 10, 2004 Berkeley, CA Metamodeling Infrastructure for Model-Integrated Computing Matthew J. Emerson, Kai Chen, Andrew D. Dixon, Janos Sztipanovits
2
Chess Review, May 10, 2004 2 Metamodeling with MOF in GME Construct metamodel with the GME-MOF paradigm Translate to a MetaGME paradigm using MOF2MetaGME Interpret paradigm using existing GME meta-interpreter No semantic mapping for some MOF syntax in GME Goal: Native MOF support in GME Building the MOF-Based Metamodeling Environment
3
Chess Review, May 10, 2004 3 Metamodel Libraries Library of canonical metamodels of –Design patterns –Standard models of computation Standardizes some metamodeling best practices Extendable and composable to ease DSML specification Extension of a Library Data Flow Metamodel
4
Chess Review, May 10, 2004 4 Semantic Anchoring of Domain- Specific Modeling Languages Model Interpreter Semantic domain specifications Meta Semantics (ASM) Metamodel (Abstract Syntax) Behavior Semantics Specifications ASM Specification DSML (Abstract Syntax) GReAT Meta-metamodel (MOF/MetaGME) DSM Model Simulation Model Verification TLA+ … TLA+ Spec … Model Execution
Similar presentations
© 2024 SlidePlayer.com. Inc.
All rights reserved.