Article,
Languages for formalizing, visualizing and verifying software architectures
Computer Languages, 27 (1-3): 3--18 (2001)
DOI: 10.1016/S0096-0551(01)00013-3
Abstract
In this paper we describe languages for formalizing, visualizing and verifying software architectures. This helps us in solving two related problems: (1) the reconstruction of architectures of existing systems, and (2) the definition and verification of architectures of new systems. We define an expression language for formulating architectural rules, a graph language for visualizing various structures of design, and a dialogue language for interactively exercising the former two languages. We have applied these languages in a number of industrial cases.
