Artificial intelligence, simulation & modeling
Understanding “why” in software process modelling, analysis, and design
ICSE '94 Proceedings of the 16th international conference on Software engineering
Towards a Precise Definition of the OMG/MDA Framework
Proceedings of the 16th IEEE international conference on Automated software engineering
IEEE Software
The Pragmatics of Model-Driven Development
IEEE Software
MDA Distilled
Model-Driven Reverse Engineering
IEEE Software
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
3rd international workshop on software evolution through transformations: embracing change
ICGT'06 Proceedings of the Third international conference on Graph Transformations
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Modeling the linguistic architecture of software products
MODELS'12 Proceedings of the 15th international conference on Model Driven Engineering Languages and Systems
Teaching software modeling in computing curricula
Proceedings of the final reports on Innovation and technology in computer science education 2012 working groups
Transformation rules from UML4MBT meta-model to SMT meta-model for model animation
Proceedings of the 12th Workshop on OCL and Textual Modelling
An MDE solution for the development of robotic device drivers
Proceedings of the 51st ACM Southeast Conference
Hi-index | 0.00 |
Model-driven engineering and model-based approaches have permeated all branches of software engineering to the point that it seems that we are using models, as Molière's Monsieur Jourdain was using prose, without knowing it. At the heart of modeling, there is a relation that we establish to represent something by something else. In this paper we review various definitions of models and relations between them. Then, we define a canonical set of relations that can be used to express various kinds of representation relations and we propose a graphical concrete syntax to represent these relations. We also define a structural definition for this language in the form of a metamodel and a formal interpretation using Prolog. Hence, this paper is a contribution towards a theory of modeling.