А как его думалка устроена?

Наверняка там внутри какая-то онтология, UML, или что-то еще формально-логическое? Прошла новость: IBM открывает основанный на UML язык EGL (Enterprise Generation Language), для генерации программ. Действует на Eclipse. Открывается часть для Java, а C/C++ и Net, пока нет. http://www.opennet.ru/opennews/art.shtml?num=27041 "...В статус программного обеспечения с открытым кодом переводятся язык EGL, его компилятор и генераторы кода для Java и JavaScript, а также специфичный языку инструментарий для разработки и сопровождения. Открывая спецификацию EGL, IBM надеется на его дальнейшее развитие: в FAQ IBM по этому поводу говорится, что развитие уникальной технологии EGL, как программного обеспечения с открытым кодом, перейдет в новое качество и даст возможность дополнения инструментария новыми возможностями, что будет полезно всем, использующим эту технологию...."