A Research Landscape on Formal Verification of Software Architecture Descriptions

• Published in: IEEE access Vol. 7; pp. 171752 - 171764
• Main Authors: Araujo, Camila, Cavalcante, Everton, Batista, Thais, Oliveira, Marcel, Oquendo, Flavio
• Format: Journal Article
• Language: English
• Published: Piscataway IEEE 2019; The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
• Subjects: Architecture description; Computer architecture; Computer Science; Data mining; Descriptions; Formal verification; property specification; Quality management; Software; Software architecture; software architectures; Software Engineering; Software systems; systematic mapping; Systematics; Taxonomy; Verification

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...