メタモデルとメタメタモデル

id:ukki4903さんのコメントから.

メタとかメタメタモデルって、似たような構造を別に持ってるイメージなんだよなー

同じようなものですよね.モデルのモデルがメタモデルメタモデルのモデルがメタメタモデル
メタモデルが自己記述的ならそのメタモデルは同時にメタメタモデルでもあるのでしょう.UMLのセマンティクスってそんなものかもしれません.ちょっとジャンルは違いますが,Smalltalkなどもそんな感じですね.
MOFの場合は,そもそもが様々なメタモデルを統一的に扱うことを目指したために,それ自身はメタモデルではなく,あくまでもメタメタモデルである,ということではないでしょうか.それゆえ,MOFが規定するメタレベルではメタモデルとメタメタモデルは明確に区別され,にもかかわらずメタメタメタモデル(^^;というのは規定されない.*1
こういう話って楽しいのですが,実際に役立てることができません.抽象化の訓練が不足しているようです.

*1:MOFは自己記述的なので,メタメタモデルはメタメタメタモデルでもあるとなっているようです