Architecture description languages (ADLs) describe the abstracted structure of a system. In
this paper we describe a new ADL based on extension of the existing CARE language used …

Scaling formal methods to large, complex systems requires methods of modeling systems at
high levels of abstraction. In this paper, we describe such a method for specifying system …

Detecting software architecture inconsistencies is a critical issue in software design.
Software systems are described in terms of components, component behavior and …

Software architecture (SA) provides a formal basis to describe and analyze a software
system as a collection of components and their interactions (connectors). However, the …

Research on Software Architectures has been active since the early nineties, leading to a
number of different architecture description languages (ADL). Given their importance in …

Software architecture is a key concept in the design of a complex system. An architecture
models the structure and behavior of the system, including the software elements and the …

The authors present a framework for analyzing software architecture descriptions using
machine-assisted formal proof. Our approach is based on the translation of an existing …

Software architecture (SA) provides a formal basis to describe and analyze a software
system as a collection of components and their interactions (connectors). However, the …

A key aspect of the design of any software system is its architecture. From the perspective of
dependability, an effective architecture aims to build fault-free systems, ie ensuring fault …

Architecture description languages (ADL) describe systems as a collection of components
that interact with each other using connectors. They define components explicitly, however …