Detail

Modeling components and behaviors with the CAB language

We present ongoing work on CAB, a language for component based
systems. CAB is an attempt for a formal specification of the BIP
framework by Sifakis et al.

In comparison to previous attempts, CAB offers a more homogeneous and
complete formalization by means of process algebras. As in the BIP
language, CAB models systems in a modular/hierarchical way. Moreover,
the evolution of a component is controlled by an external centralized
process that takes care of synchronization and enforces scheduling
policies (with the use of priorities) inside every level of the model.
This way, the centralized process is responsible both for the internal
evolution of a component and for the synchronization with the external
world. Namely, the interactions with external components are modeled
in terms of requests of messages.

In the first part of the talk, I will present the features of the
language. Then, I will discuss the expressiveness of constructs such
as priorities and creation of new components. A third part is devoted
to the analysis of equivalences among CAB processes.

(This is joint work with Jean-Bernard Stefani.)