A formalisation of deep metamodelling

DOI10.1007/S00165-014-0307-XzbMATH Open1342.68098OpenAlexW2097894296MaRDI QIDQ736852FDOQ736852

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

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?

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)

Cites Work

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

Cited In (5)

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

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)