LINUX.ORG.RU

Re: [Помощь в обучении] 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 достаточно, чтобы не выпадать в осадок при сравнении ее с шаблонами с++? Мне интересно твое краткое описание это штуки, либо ссылка, а портянки из скришотов мне проходить влом.

www_linux_org_ru ★★★★★ ()
Ответ на: Re: [Помощь в обучении] Domain Specific Modelling от www_linux_org_ru

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

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

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

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


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

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


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

theos ★★★ ()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.