7 июня 2010 · Запись

Онтология и нотация мегамоделирования

Анатолий Левенчук · Оригинал в ЖЖ ↗ · Ссылка на запись

Онтология (язык, OIM, DSL) мегамоделирования и нотация к ней -- это то, в каких понятиях (язык!) мы говорим (нотация!) о моделях и их трансформациях (объектах и их морфизмах, текстах и переводах, нотациях и представлениях, сигналах и модулировании, программах и компилировании и т.д.). Какие у нас есть первоисточники с наборами понятий для выражения этой предметной области? Теория категорий MDA и работы текстовиков в нем (типа http://www.eclipse.org/Xtext/) Работы группы AtlanMod по мегамоделированию Порождающие грамматики в лингвистике Работы FONC/STEPS по "цепочкам смыслов" Работы компиляторщиков вообще и суперкомпиляторщиков в частности (ибо в случае суперкомпиляции нетривиальные преобразования). Работы по модулированию сигналов Работы по language workbenches (языкоориентированное программирование) Языки генерации отчетов, языки верстки и языки стилей (см. тред с justy_tylor в http://ailev.livejournal.com/840204.html). Нотационный опыт в языках программирования разных парадигм (увы, тут не знаю куда ткнуть пальцем). Мои работы по Метлану в Опенмете Что еще пропущено из важного? Задача: на базе картирования указанных первоисточников обобщить, расширить и доформализовать Метлан в DSL так, чтобы говорить на нем про Мегамодель. Хинт тут в том, что "внутри головы" и "внутри компьютера" -- это про одно и то же, а "вовне головы", "сериализовано" и "сверстано" -- также про одно и то же. От графических языков временно отказываемся.