In the context of component-based design, we propose ADLV, an architecture description
language based on IDL3, which allows the specification of properties that should hold on the …

In the context of component-based design, the verification of global properties (involving
several components) is difficult to achieve, due to combinatorial explosion problem, while …

The components based approach aims at the re-use by an easy components assembly. Vis-
a-vis to the objects based approach, the component based approach moves the complexity …

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

The concept of software architecture (also called system structure or system configuration) is
especially important in the design of complex software systems, providing a model of the …

There is a continuing need for software engineers to design better-quality systems more
quickly. Component-based technologies promise to make this possible, but modern systems …

The components based approach aims at the re-use by an easy components assembly. A
coherent components assembly requires the verification of properties related to the …

In this paper, we introduce an architecture description language (ADL) for PCOMs (a context
oriented component model). The language is described at three levels:(1) Building blocks …

Variants of general-purpose programming languages, like SystemC, are increasingly used
to specify system designs that have both hardware and software parts. The system-level …

Large and complex software systems require expressive notations for representing their
software architecture. In this context architecture description languages (ADLs) can be used …