Аксиоматика модели формализованного описания произвольной технологиистатья