О формализации протокола УЭ: бутстрап и двуслойность
Формализацию понятия можно определить как предоставление для него некой формальной модели. Варианты: управляемая, вычислимая, построенная на [разделяемой] метамодели. Не считаю это необходимым условием для "применения термина" или даже использования понятия в дискурсе, потому как в целом любой абстрактный дискурс построен en masse на нечётко определённых понятиях, что имеет для коммуникации...