Способы формализованного описания технологий: попытка обзорастатья