Modeling modeling modeling

Abstract

Abstract. 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.

Bridging metamodels and ontologies in software engineering

“…Karagiannis et al (2008) differentiate between iconic (non-linguistic) and linguistic models, arguing that the latter are more common in computing. A detailed discussion of the underpinning theory of models is given in Gonzalez-Perez and Henderson-Sellers (2007) and is not repeated here-see also Muller et al (2009) and Jackson (2009) who discuss not only models but also the act of modelling.…”

An MDE solution for the development of robotic device drivers

“…More generally, the goal of this position paper is to show that the utilization of executable models in the robotics domain is worth further exploration. This is relevant to the robotics domain, and indeed potentially any typically low level code-heavy domain, as software modeling aims to simplify the process of developing solutions for specific subsets of problems [7]. With this goal in mind, modeling tools and techniques may be able to be utilized to simplify the development of robotic control systems.…”

“…MDE has the potential to reduce the overall difficulty of designing, understanding, and maintaining the algorithms associated with robotic behavior through this concept of abstracting away unneeded details and problem domain coupling. A model, or the artifact generated during the application of the MDE paradigm, is defined as [7] "...a simplification of a system built with an intended goal in mind. The model should be able to answer questions in place of the actual system."…”

Test generation with Satisfiability Modulo Theories solvers in model‐based testing

“…The first contribution concerns the definition of a metamodel SMT and transformation rules from UML4MBT metamodel to SMT metamodel. The UML4MBT metamodel is dedicated to MBT and brings restrictions from a classical UML metamodel .…”