IDL - язык определения интерфейсов (interface definition language).
CORBA интерфейсы определяются на IDL.
IDL определения транслируются в определения языка программирования с помощью IDL компилятора, обычно являющегося частью ORB
Затем разработчик может:
реализовать CORBA интерфейсы, используя выход IDL компилятора как спецификации классов (обычно IDL компилятор гененерирует абстрактные классы, разработчик должен написать классы реализации, производные от этих абстрактных классов.
использовать CORBA интерфейсы. В этом случае выход IDL компилятора можно рассматривать как определение удаленных интерфейсов на избранном языке программирования.
Спецификации:
IDL синтаксис и семантика: http://www.omg.org/cgi-bin/doc?formal/01-12-07