Anatoly Levenchuk (ailev) wrote,
Anatoly Levenchuk
ailev

Category:

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

Онтология (язык, OIM, DSL) мегамоделирования и нотация к ней -- это то, в каких понятиях (язык!) мы говорим (нотация!) о моделях и их трансформациях (объектах и их морфизмах, текстах и переводах, нотациях и представлениях, сигналах и модулировании, программах и компилировании и т.д.).

Какие у нас есть первоисточники с наборами понятий для выражения этой предметной области?

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

Задача: на базе картирования указанных первоисточников обобщить, расширить и доформализовать Метлан в DSL так, чтобы говорить на нем про Мегамодель. Хинт тут в том, что "внутри головы" и "внутри компьютера" -- это про одно и то же, а "вовне головы", "сериализовано" и "сверстано" -- также про одно и то же. От графических языков временно отказываемся.
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

  • 2 comments