Язык моделирования
Язык моделирования всего, каков он должен быть? Я не знаю. )
кое-что знаю, но знаю не в полной форме
типа там все должно быть на графах это стопудово (ссылки есть внизу поста)
но как именно должно быть это неясно, типа какие конструкции нужны, какие не нужны, какие удобны, какие неудобны и т.п. это сложная большая работа и непонятная для меня, непонятная по вопросу оптимального вида чтоль
пытаюсь обдумывать задачу и страшусь ее ) может надо Рефал помучить (может Хаскель), пописать на нем какое-то время какие-то программы и в процессе написания могут какие-то прояснения в мыслях наступить... хз... может быть )
-----
Онтологии и SysMoLan
...
У меня такое ощущение, что весь наш сегодняшний опыт показывает ровно те места, где лежат хорошо заметные рельсы антикварных неудачных технологий или суперфронтирных несуществующих технологий, в совокупности надёжно заводящие разработку системного языка и его моделера/студии в тупик.
Итого: нужно срочно определиться с цепочкой "метамодель самого SysMoLan" -- "SysMoLan как метамодель для моделей систем" -- "модели систем, написанные на SysMoLan". С учётом всего тут написанного. При этом одним глазом смотреть сразу на инженерные стандарты и инженерные проекты (что делают и все остальные создатели языков и онтологий), другим поглядывая на инженерные онтологии (скажем, из первых абзацев текущего поста -- нужно же повторноиспользовать чужой труд по онтологизации!), а третьим глазом пытаясь высмотреть в тумане будущего "метамодель для дифференцируемой модели" (а про "дифференцируемые метамодели" я не пишу, и так уже всё сложно).
https://ailev.livejournal.com/1449992.html
-----
****"модели систем, написанные на SysMoLan
ну коль можно модели систем писать на сисмоланге, то и модель сисмоланга можно написать на нем же )
следует определиться с понятием модели и формализовать понятие модель!
тогда станет ясно, что требуется для языка на котором всё желаете замоделировать
вероятно для всяких таких вещей нужен не язык Юля, а язык Рефал и только он или нечто вроде него, или нечто вроде лиспа, имхо конечно в этом пункте
ps
общая теория всего или общая теория систем
https://deep-econom.livejournal.com/135543.html
теория описания всего
https://deep-econom.livejournal.com/94281.html
теория описания всего - 2. информация. модель. модель моделей.
https://deep-econom.livejournal.com/110281.html
кое-что знаю, но знаю не в полной форме
типа там все должно быть на графах это стопудово (ссылки есть внизу поста)
но как именно должно быть это неясно, типа какие конструкции нужны, какие не нужны, какие удобны, какие неудобны и т.п. это сложная большая работа и непонятная для меня, непонятная по вопросу оптимального вида чтоль
пытаюсь обдумывать задачу и страшусь ее ) может надо Рефал помучить (может Хаскель), пописать на нем какое-то время какие-то программы и в процессе написания могут какие-то прояснения в мыслях наступить... хз... может быть )
-----
Онтологии и SysMoLan
...
У меня такое ощущение, что весь наш сегодняшний опыт показывает ровно те места, где лежат хорошо заметные рельсы антикварных неудачных технологий или суперфронтирных несуществующих технологий, в совокупности надёжно заводящие разработку системного языка и его моделера/студии в тупик.
Итого: нужно срочно определиться с цепочкой "метамодель самого SysMoLan" -- "SysMoLan как метамодель для моделей систем" -- "модели систем, написанные на SysMoLan". С учётом всего тут написанного. При этом одним глазом смотреть сразу на инженерные стандарты и инженерные проекты (что делают и все остальные создатели языков и онтологий), другим поглядывая на инженерные онтологии (скажем, из первых абзацев текущего поста -- нужно же повторноиспользовать чужой труд по онтологизации!), а третьим глазом пытаясь высмотреть в тумане будущего "метамодель для дифференцируемой модели" (а про "дифференцируемые метамодели" я не пишу, и так уже всё сложно).
https://ailev.livejournal.com/1449992.html
-----
****"модели систем, написанные на SysMoLan
ну коль можно модели систем писать на сисмоланге, то и модель сисмоланга можно написать на нем же )
следует определиться с понятием модели и формализовать понятие модель!
тогда станет ясно, что требуется для языка на котором всё желаете замоделировать
вероятно для всяких таких вещей нужен не язык Юля, а язык Рефал и только он или нечто вроде него, или нечто вроде лиспа, имхо конечно в этом пункте
ps
общая теория всего или общая теория систем
https://deep-econom.livejournal.com/135543.html
теория описания всего
https://deep-econom.livejournal.com/94281.html
теория описания всего - 2. информация. модель. модель моделей.
https://deep-econom.livejournal.com/110281.html