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.
%0 Journal Article
%1 ommering_01_languages
%A van Ommering, Rob
%A Krikhaar, Ren'e L.
%A Feijs, Loe
%D 2001
%J Computer Languages
%K _marcia 2001
%N 1-3
%P 3--18
%R 10.1016/S0096-0551(01)00013-3
%T Languages for formalizing, visualizing and verifying software architectures
%U http://dx.doi.org/10.1016/S0096-0551(01)00013-3
%V 27
%X 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.
@article{ommering_01_languages,
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.},
added-at = {2009-02-12T11:20:33.000+0100},
author = {van Ommering, Rob and Krikhaar, Ren'{e} L. and Feijs, Loe},
biburl = {https://www.bibsonomy.org/bibtex/22fb3d73d7effeb3bc82cf138e8f3820e/leonardo},
citeulike-article-id = {2478806},
doi = {10.1016/S0096-0551(01)00013-3},
interhash = {25ec20919955910331a98b41a7780071},
intrahash = {2fb3d73d7effeb3bc82cf138e8f3820e},
journal = {Computer Languages},
keywords = {_marcia 2001},
number = {1-3},
pages = {3--18},
posted-at = {2008-03-06 14:09:06},
priority = {2},
timestamp = {2009-02-12T11:20:33.000+0100},
title = {Languages for formalizing, visualizing and verifying software architectures},
url = {http://dx.doi.org/10.1016/S0096-0551(01)00013-3},
volume = 27,
year = 2001
}