About formal interpretation of architecture models.


About formal interpretation of architecture models.

Authors

Denis Buzdalov and Alexey Khoroshilov

Abstract

It is essential for nowadays architecture models to be able to be analyzed by automatic tools. This paper discusses what is needed for this and how robust interpretability can be achieved.

Full text of the paper in pdf

Keywords

achitecture models, formal interpretation, automated analysis

Edition

The Second Architecture Centric Virtual Integration (ACVI) Workshop Madrid, Spain on June, 26

Research Group

Software Engineering

All publications during 2015 All publications