Относительно спецификаций здесь: http://www.omg.org/technology/documents/formal/uml.htm
В чем разница между без и со сменными планками?
Насчет "надстройки и инфраструктуры" выяснил следующее:
Спецификация инфраструктуры UML определяет базовые языковые конструкции, необходимые для UML 2.1.2. Он дополняется надстройкой UML, которая определяет конструкции пользовательского уровня, необходимые для UML 2.1.2. Две дополнительные спецификации составляют полную спецификацию языка моделирования UML 2.
Куда мне обратиться, если я хочу узнать метамодель UML, чтобы узнать, как сопоставить языковую конструкцию с моделью UML?