Automaton

Micro-machine, managing its internal state and supplying services, in certain operating conditions >>

Class Diagram

UML diagram that shows a collection of declarative (static) UML model elements such as classes and types, with their contents and relationships >>

Formalism

Set of coherent rules that govern one type of expression and ensure certain sought-after qualities in the resulting expressions

>>

Metamodel

Model of models, that is to say a formal representation of the means required to build ordinary models >>

Model

Formal representation of a part of the reality >>

Modeling

Rigorously represent a part of reality, according to pre-established formal rules >>

Principle of Parsimony

Scientific principle that things are usually connected or behave in the simplest or most economical way, especially with reference to alternative evolutionary pathways >>