Formal Metamodel

A Formal Metamodel is a Metamodel specified in a Formal Language.

• AKA: Metamodel.
• Context:
  • It can be a Modeling Language.
  • …
• Example(s):
  • a Statistical Metamodel, such as a Bayesian Network Metamodel.
  • …
• Counter-Example(s):
  • an Informal Metamodel.
• See: Metamodeling Task, Theory, Language, Model.

---

---