Dipartimento di Matematica
Universitą degli Studi di Parma
Facoltą di Scienze Mat. Fis. Nat.


MARCO BERNARDO, dell'Istituto di Scienze e Tecnologie dell'Informazione, Universita` degli Studi di Urbino "Carlo Bo", terrą il seguente seminario in Sala Riunioni:

Giovedi' 3/7/2003, ore 12.00
On the Usability of Process Algebra: An Architectural View
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.

Tutti gli interessati sono invitati a partecipare

Gianfranco Rossi
Parma, 26 giugno 2003

Bacheca del Dip. Mat. Univ. Parma