Research on metamodels consistency verification based on formalization of domain-specific metamodeling language

DOI10.1007/S12204-012-1248-2MaRDI QIDQ2440192zbMATH OpenOpenAlexFDO

Authors Tao Jiang, Xin Wang

Publication date 27 March 2014

Published in Journal of Shanghai Jiaotong University (Science) (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s12204-012-1248-2

zbMATH Keywords

structural semanticsconsistency verificationdomain-specific metamodeling language (DSMML)extensible markup language (XML) based metamodeling language (XMML)meta-type

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 1946722
• scientific article; zbMATH DE number 1693509
• Formalizing and testing the consistency of DSL transformations
• An algebraic semantics for MOF
• scientific article; zbMATH DE number 2080017

Cited in

(4)

• Imposing Modeling Rules on Industrial Applications through Meta-modeling
• Formalizing and testing the consistency of DSL transformations
• scientific article; zbMATH DE number 1693509 (Why is no real title available?)
• Type theory based domain data modeling and verification with case study

This page was built for publication: Research on metamodels consistency verification based on formalization of domain-specific metamodeling language

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2440192)