CS Seminar: Marco Bernardo, July 03, 2003

Speaker

Marco Bernardo,
Istituto di Scienze e Tecnologie dell'Informazione, Università degli Studi di Urbino "Carlo Bo", Italy.

Date and Time

Thursday, July 03, 2003 at 12:00

Place

Aula Seminari,
Dipartimento di Matematica, Università di Parma, Via D'Azeglio 85/A, I-43100 Parma

Title

On the Usability of Process Algebra: An Architectural View

Abstract

Despite of their compositional nature, unfortunately process algebra (PA) is difficult to use in practice. In order to alleviate this problem, we propose to enrich PA in a way that makes it suitable to work with at the software architecture level of design. On the modeling side, our proposal consists of adding on top of PA some linguistic constructs that support a component oriented way of describing families of systems sharing some constraints both on their component internal behavior and on their topology. On the analysis side, our proposal is based on detecting mismatches that may arise when assembling many components together, and on providing diagnostic information that should serve as a useful feedback to pinpoint the components responsible for the mismatches.

In the functional verification case, we show a sufficient condition for a component oriented proof of deadlock freedom, which is based on weak bisimulation and provides some diagnostic information in case of failure.

In the performance evaluation case, we show that a combined use of stochastic PA and queueing networks allows us to compute some frequently occurring performance indices both at the component level and at the system level. This can be exploited to implement a methodology to quickly compare alternative designs of the same system or to rapidly improve some frequently occurring performance indices for a specific design.

Contact Person

Gianfranco Rossi

[Page last updated on January 21, 2013, 08:18:53.]