[Помощь в обучении] Domain Specific Modelling

Такого олла не столь уж и много... вот я например интересуюсь Domain Specific Modelling *только* в приложении к eDSL, отсюда будет и ответ.

1. Верификация модели (или ее использования, х.з). Тут интересны Datalog (гарантированно завершающийся аналог пролога) и OWL2 с его уровнями от тупого до тьюринг-полного. Кстати, OWL2 интересен тем, что это первый крупный язык, где An ontology in any profile can be written into an ontology document by using __any__ of the syntax__es__ of OWL 2.

2. Языки с изменяемыми синтаксисами.

http://lambda-the-ultimate.org/node/3281

http://en.wikipedia.org/wiki/Category:Extensible_syntax_programming_languages

__________________________________________________________

Ты разобрался с jetbrain-овской MPS достаточно, чтобы не выпадать в осадок при сравнении ее с шаблонами с++? Мне интересно твое краткое описание это штуки, либо ссылка, а портянки из скришотов мне проходить влом.

Вот пример конкретного вопроса к etbrain-овской MPS -- ее узлы чем-то типизируются? Чем?

>Языки с изменяемыми синтаксисами.

Фишка в том, что мне нужно DS _modelling_ а не _programming_ языки. Меня собственно и не текстовы языки интересуют. Например Eclipse EMF+GMF+JET, Microsoft DSLTools, etc Что то материала и применения совсем кот наплакал ((

>Ты разобрался с jetbrain-овской MPS достаточно

Ну, пол-года работы в jetbrains в проекте над MPS дают знать =)

>узлы чем-то типизируются?

А в каком смысле. С одной стороны, они типизируются своими концептами. С другой стороны, типизируются хельгинсом.

З.Ы. Дискашн можно перенести в яббер. Вряд ли тут им кто ещё заинтересуется.

Я так предположил, что джаббер-ид = ник @ jabber.ru

Нее, я ж на гмайле - так что daniil.guit AT gmail.com