About formal interpretation of architecture modelsстатья Электронная публикация