A formalisation of deep metamodelling

DOI10.1007/s00165-014-0307-xzbMath1342.68098OpenAlexW2097894296MaRDI QIDQ736852

Alessandro Rossini, Juan de Lara, Esther Guerra, Adrian Rutle, U. E. 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 theorymodel-driven engineeringgraph transformationdiagram predicate framework\textsc{metaDepth}deep characterisationdeep metamodellingdouble linguistic/ontological typinglinguistic extensionmulti-level metamodellingpotency

Mathematics Subject Classification ID

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

Related Items (4)

Multi-level Model Product Lines ⋮ Multilevel Typed Graph Transformations ⋮ Multilevel coupled model transformations for precise and reusable definition of model behaviour ⋮ Language family engineering with product lines of multi-level models

Uses Software

• Maude

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A formal approach to the specification and transformation of constraints in MDE
• Profiles in a strict metamodeling framework
• 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.
• Fundamentals of algebraic graph transformation
• A Diagrammatic Logic for Object-Oriented Visual Modeling
• Categories for Software Engineering
• Handbook of Graph Grammars and Computing by Graph Transformation
• Graph Transformations

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