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

DOI10.1007/S12204-012-1248-2zbMATH Open1283.68209OpenAlexW126081926MaRDI QIDQ2440192FDOQ2440192

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

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

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)

Cited In (4)

• Formalizing and testing the consistency of DSL transformations
• Title not available (Why is that?)
• Type theory based domain data modeling and verification with case study
• Imposing Modeling Rules on Industrial Applications through Meta-modeling

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)