About formal interpretation of architecture modelsдоклад на конференции