Verificação Estática de Arquiteturas de Software utilizando Restrições de Dependência

This paper proposes a static software architecture verification approach based on a dependency constraint language that allows software architects to restrict the spectrum of dependencies that can be present in a given software system. The ultimate goal is to allow the definition of acceptable and unacceptable dependencies according to the planned system architecture. Once defined, such restrictions are automatically enforced by a tool, thus avoiding silent erosions in the system architecture. The paper also presents results of applying the proposed dependency constraint language in a 240 KLOC human resource management system. The proposed approach was able to detect several violations in the planned architecture of this system.