Об порождающее моделирование

[ailev]

Некоторые пояснения к моей статье "Порождающее моделирование и моделеориентированная системная инженерия" (http://ailev.livejournal.com/728605.html).

1. Внутреннее и внешнее представления, датацентричность и документоцентричностьХомский предположил наличие в языке глубинной и поверхностной

Comments

[avlasov]

Языковое рабочее место -- это тоже "компилятор" (насколько можно говорить о современной интерактивной среде разработки как о "компиляторе"),
Можно употреблять термин "транслятор". Как нас учили, трансляторы бывают двух видов - компиляторы и интерпретаторы. Языковое рабочее место как раз нечто промежуточное между компиляторами и интерпретаторами, по крайней мере, не сводимая к ним.

[ailev]

Я думал о термине "транслятор" (и даже "переводчик"), но намеренно не употребил его. Отнюдь не все понимают транслятор как обобщение интерпретатора и компилятора. "Нас", например, учили не так, как "вас" ;)

[avlasov]

"Диван был транслятором. Он создавал вокруг себя поле, преобразующее, говоря просто, реальность действительную в реальность сказочную."
(с) Аркадий и Борис Стругацкие. "Понедельник начинается в субботу"

[ailev]

Я пишу программы с 1975 года, когда слова "компилятор" еще не было, а "транслятор" уже было... ;)

[ailev]

Если бы вы заменили в своих рассуждениях "математику" на "методологию", то попали бы в точку. Ну, и дальше там по мелочи: существенные расхождения в используемой терминологии. Так что нельзя считать, что вы меня поняли, и нельзя считать, что я вас понял.

[ailev]

Я тут не буду разводить флейма, но замечу только: математику недаром называют языком, а логику недаром называют наукой о правильном мышлении. Так что язык и правильное мышление более базовы, нежели математика. Математика на них основывается.

"Порождение" -- это, конечно, не наука.

[avlasov]

Обобщу тезисно свой опыт моделирования, применительно к задачам тестирования

[ailev]

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

[avlasov]

Да, конечно. Я вот смотрю презентации, и виду там примерно те же проблемы :).
Только это не совсем корректно называть непрограммисткие модели. Ибо работа с ним все равно программирование, как ни крути. Просто это неимперативное программирование, декларативное.

[ailev]

Работа с ними -- это и не программирование, и не моделирование. Люди называют это "проектирование" и "конструирование" ;)

[avlasov]

Еще забыл один тезис: создание моделей - совсем другая активность, нежели (императивное) программирование. Тут нужна особая подготовка, в декларативном стиле (логики и прочее).