A formalisation of deep metamodelling

DOI10.1007/S00165-014-0307-XMaRDI QIDQ736852zbMATH OpenOpenAlexFDO

Authors Alessandro Rossini, Juan de Lara, Esther Guerra, Adrian Rutle, Uwe Wolter

Publication date 5 August 2016

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/10486/666490

zbMATH Keywords

category theorygraph transformationdiagram predicate frameworkmodel-driven engineering\textsc{metaDepth}deep characterisationdeep metamodellingdouble linguistic/ontological typinglinguistic extensionmulti-level metamodellingpotency

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• An institution theory of formal meta-modelling in graphically extended BNF
• scientific article; zbMATH DE number 1946739
• Aspect-oriented Metamodelling
• On the mathematics of modelling, metamodelling, ontologies and modelling languages.
• What Is a Multi-modeling Language?

Cites work

• scientific article; zbMATH DE number 1670627 (Why is no real title available?)
• scientific article; zbMATH DE number 46995 (Why is no real title available?)
• scientific article; zbMATH DE number 2086744 (Why is no real title available?)
• A diagrammatic logic for object-oriented visual modeling
• A formal approach to the specification and transformation of constraints in MDE
• A formalisation of the copy-modify-merge approach to version control in MDE
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Categories for Software Engineering
• Fundamentals of algebraic graph transformation
• Graph Transformations
• Handbook of Graph Grammars and Computing by Graph Transformation
• Profiles in a strict metamodeling framework

Cited in

(5)

• An institution theory of formal meta-modelling in graphically extended BNF
• Language family engineering with product lines of multi-level models
• Multilevel coupled model transformations for precise and reusable definition of model behaviour
• Multilevel typed graph transformations
• Multi-level model product lines. Open and closed variability for modelling language families

Describes a project that uses

Uses Software

• Maude

This page was built for publication: A formalisation of deep metamodelling

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