Построена интерпретация оператора конкатенации в логике первого порядка на основе упорядоченной делимой абелевой группы с двумя архимедовыми классами. Предложены методы логической формализации языка спецификаций UML. Исследованы свойства упорядоченных структур и конструктивных нильпотентных R[p]-групп без кручения.
