A Research Landscape on Formal Verification of Software Architecture Descriptions

Camila Araujo, Everton Cavalcante, Thais Batista, Marcel Oliveira, Flavio Oquendo
2019 IEEE Access  
One of the many different purposes of software architecture descriptions is contributing to an early analysis of the architecture with respect to quality attributes. The critical nature of many software systems calls for formal approaches aiming at precisely verifying if their designed architectures can meet important properties such as consistency, completeness, and correctness. In this context, it is worthwhile investigating the role of architecture descriptions to support the formal
more » ... ion of software architectures to ensure their quality, as well as how such a process happens and is supported by existing languages and verification tools. To evaluate the research landscape on this subject, we have carried out a systematic mapping study in which we collected and analyzed studies available at the literature on formal verification of architecture descriptions. This work contributes with (i) a structured overview and taxonomy of the current state of the art on this topic and (ii) the elicitation of important issues to be addressed in future research.
doi:10.1109/access.2019.2953858 fatcat:qkq4p4cnabgnjgaazq2hndxnma