М.б. не совсем так - язык проектирования (допустим, визуальный на базе шампур-метода - чтобы не отклоняться от топика сильно) генерит код (исхтекст) и на языке программирования (Оберон) - и на языке моделирования (Promela)? Правда, поставленный Вами вопрос (об определении проект-языка или хотя бы его концепции - включая соотношение с другими языками триады) это не снимает...Но не всё сразу, наверное - для этого и данная линия обсуждения (которую, вероятно, со временем надо отделить будет)...