Без заголовка

Вот-вот: суп из топора. Но это общий тренд: чтобы получить "более простой и декларативный" спецязык нужно воспользоваться "более сложным и более декларативным" общим языком, а то и несколькими. Я ведь согласен: все это резкие движения в сторону разнопарадигмальности. Ибо сказать "декларативный" -- это всего-навсего "неимперативный", т.е. парадигм в этом может быть миллион и маленькая тележка. Однако замечу, что передо мной лежит сейчас книжка Metamodeling for Method Engineering (http://mitpress.mit.edu/catalog/author/default.asp?aid=36884), которую увезут сейчас в Питер. Так в этой книжке определяется "универсальный моделер для моделирования всего" -- а внутре у него логики первого порядка. Эти логики первого порядка сейчас торчат изо всего, уже неинтересно. Интересна история, которую рассказывают про эти логики ребята из ISO 15926: -- сначала моделируем ортогональное описание мира в небольшом количестве понятий (у них это 201 понятие) -- на этих понятиях моделируем протошаблоны наших высказываний (ожидается, что их будет около 300) -- а на этих протошаблонах уже описываем мир, вводя по пути шаблоны и целые OIM. Все это высокоуровневое уже и может быть с приличными нотациями, которое быстро прощелкивается до исходной FOL. Несколько лет назад рассуждали по-другому: ежели FOL, то подъем уровня языка проходил без изменения синтаксиса, и это было нечитаемо и неописуемо абсолютно. А сейчас основной тренд: исходную непривычность для мозгов прятать под капот каких-нибудь workbenches.