Category theory for computing science, 2nd ed.
Category theory for computing science, 2nd ed.
Rearchitecting the UML infrastructure
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Universal Arrow Foundations for Visual Modeling
Diagrams '00 Proceedings of the First International Conference on Theory and Application of Diagrams
Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series)
Ontological Extension to the MOF Metamodel as a Basis for Code Generation
The Computer Journal
EMF: Eclipse Modeling Framework 2.0
EMF: Eclipse Modeling Framework 2.0
Can programming be liberated from the two-level style: multi-level programming with deepjava
Proceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems and applications
A Systematic Approach to Connectors in a Multi-level Modeling Environment
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
A Diagrammatic Logic for Object-Oriented Visual Modeling
Electronic Notes in Theoretical Computer Science (ENTCS)
Multi-level Modeling for Industrial Automation Systems
SEAA '09 Proceedings of the 2009 35th Euromicro Conference on Software Engineering and Advanced Applications
A Flexible Infrastructure for Multilevel Language Engineering
IEEE Transactions on Software Engineering
Deep meta-modelling with METADEPTH
TOOLS'10 Proceedings of the 48th international conference on Objects, models, components, patterns
| Hi-index | 0.00 |
Metamodelling is one of the pillars of model-driven engineering, used for language engineering and domain modelling. Even though metamodelling is traditionally based on a two-level approach, several researchers have pointed out limitations of this solution and proposed an alternative deep (also called multi-level) approach to obtain simpler system descriptions. However, deep metamodelling currently lacks a formalisation that can be used to explain fundamental concepts such as deep characterisation through potency and double linguistic/ontological typing. This paper provides different semantics for such fundamental concepts based on graph transformation and the Diagram Predicate Framework.