[cs at parma seminars] Seminario di Informatica

[Gianfranco Rossi]

                                             AVVISO DI SEMINARIO


DATA:
     Giovedi' 3/7/2003, ore 12:00

RELATORE:
     Marco Bernardo
     Istituto di Scienze e Tecnologie dell'Informazione
     Universita` degli Studi di Urbino "Carlo Bo"

TITOLO
     On the Usability of Process Algebra: An Architectural View

LUOGO:
      Sala riunioni (I piano)
      Dipartimento di Matematica, Universita' di Parma
      C.so M.D'Azeglio 85/A, PARMA

SOMMARIO:
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. 


RIF.:
Gianfranco Rossi
Dipartimento di Matematica
Universita' di Parma
Via M.D'Azeglio, 85/A
43100 PARMA (I)
http://www.math.unipr.it/~gianfr/