Languages for formalizing, visualizing and verifying software architectures

Authors:
Rob Van Ommering;René Krikhaar;Loe Feijs
Affiliations:
Philips Research Eindhoven, Building WDC-4, Prof. Holstaan 4, 5656 AA, Eindhoven, Netherlands;Philips Medical Systems, AA (PMS), P.O. Box 10000 (QR-1139), 5680 DA, Best, Netherlands;Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, Netherlands
Venue:
Computer Languages
Year:
2001

Citing 12
Cited 4

Software reflexion models: bridging the gap between source and high-level models

SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
Software architecture in industrial applications

Proceedings of the 17th international conference on Software engineering
A relational approach to support software architecture analysis

Software—Practice & Experience
3D visualization of software architectures

Communications of the ACM
Relation partition algebra — mathematical aspects of uses and part-of relations

Science of Computer Programming
A cooperative model for cross-divisional product development for a software product line

Proceedings of the first conference on Software product lines : experience and research directions: experience and research directions
Developing engineered product support applications

Proceedings of the first conference on Software product lines : experience and research directions: experience and research directions
The Koala Component Model for Consumer Electronics Software

Computer
Reverse Engineering and Design Recovery: A Taxonomy

IEEE Software
Specifying Distributed Software Architectures

Proceedings of the 5th European Software Engineering Conference
Structural Manipulations of Software Architecture Using Tarski Relational Algebra

WCRE '98 Proceedings of the Working Conference on Reverse Engineering (WCRE'98)
View Extraction and View Fusion in Architectural Understanding

ICSR '98 Proceedings of the 5th International Conference on Software Reuse

Widening the Scope of Software Product Lines - From Variation to Composition

SPLC 2 Proceedings of the Second International Conference on Software Product Lines
Architectural support in industry: a reflection using C-POSH: Practice Articles

Journal of Software Maintenance and Evolution: Research and Practice - 2003 International Conference on Software Maintenance: The Architectural Evolution of Systems
Defining and continuous checking of structural program dependencies

Proceedings of the 30th international conference on Software engineering
Static extraction and conformance analysis of hierarchical runtime architectural structure using annotations

Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications

Quantified Score

Hi-index	0.00

Visualization

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.