CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
Home Page FCT/UNL UNL
  Home  \  Seminars @ CITI  \  Seminar Page Login  
   
banner bottom
File Top
Modeling components and behaviors with the CAB language
{ Thu, 2 Dec 2010, 14h00 }

By: Cinzia Di Giusto  [ show info ]

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.)


Hosted by: Software Systems

Location: DI seminars room

File Bottom