In MDE its is said that everything is a model

  • A lambda-model, where  lambda means any specific Technology Space
  • An XML document is an XML-model
  • A Java source program is a Java-model
  • An UML model is a MDA-model
  • etc.

In MDE each Technology Space is rooted in a metametamodel (M3)  defining a representation scheme and basic type system. It distinguishes between intra-space and inter-space operations.

Symbolic atomistic model

From the  symbolic point-of-view we say that everything is a symbol except an object and the interpretation (see Gallery). Every particle that we can see is either a real life object or a sign illustrating other things. Symbol is an agreement about a relation from it to correponding other symbols or objects. Recognizing this relation is an interpretation. Collecting interpretations into user’s brain means collecting a model into his memory.

Symbol is then the main carrier of information in models.

Symbols can be formalized if there is a well-formed semantics to describe its interpretations.

There is a challenge of symbol grounding, which limits formalizing symbols.  Considering the atomistic model the model is formal if symbols are formal. That is why symbol grounding is actual.

Links to model definitions and related topics:

  1. Bezivin: Models and Models.
  2. Gudwin: Computational Semiotics
  3. Harnard: Symbol Grounding.