An Automatic Mapping Mechanism for Formalizing Domain-Specific Metamodels
暂无分享,去创建一个
[1] Juha-Pekka Tolvanen,et al. Domain-Specific Modeling: Enabling Full Code Generation , 2008 .
[2] Hong Zhu,et al. A Formal Descriptive Semantics of UML , 2008, ICFEM.
[3] Tao Jiang,et al. Formalizing Domain-Specific Metamodeling Language XMML Based on First-order Logic , 2012, J. Softw..
[4] Janos Sztipanovits,et al. Formalizing the structural semantics of domain-specific modeling languages , 2009, Software & Systems Modeling.
[5] Tao Jiang. Research on Metamodel Consistency Verification Based on First-order Logical Inference , 2012 .