Это просто частный случай, а не множество всех возможных моделей. Только и всего.

Модель должна быть информационная. Это прямо вот есть такой термин в программной инженерии. Прямо вот берете гугл (Вас надеюсь там еще не забанили?) и пишите "построение информационной модели". И там и правила и инструкции и теория и даже матан. Прямо вот есть кулинарные рецепты по пунктам, что нужно делать (и с помощью чего) чтобы получить профит.

Конечно нет. Вам надо, чтобы щелкнули пальцами и в голову сразу с интернета скачался файл. Типа как фильме Матрица.
Я Вам даже инструкцию дал, чего писать в гугле: Построение информационной модели. Но Вы естественно все испортили. Неужели так трудно было просто воспользоваться готовым рецептом? Вы сами писали про мышь и про модели. И наступаете ровно на те же грабли. Нет отдельной информационной модели языка программирования. Есть универсальный инструмент для построения модели любого объекта. Вы должны взять шаблон и натянуть его на Вашу ситуацию.

Так прежде чем делать, нужно понимать, что делать. Вы же сами тут кучу бестолковых тем насоздавали со всякими грамматиками вместо того, чтобы сесть и программировать эти самые грамматики. Потому что Вы слабо представляете то, чем оперируете. Стройте модель. А чтобы ее построить нужно уметь это делать. А чтобы уметь это делать нужно читать теорию.