Dipartimento di Matematica
Universitą degli Studi di Parma
Facoltą di Scienze Mat. Fis. Nat.
SEMINARIO DI INFORMATICA
dell'Istituto di Scienze e Tecnologie dell'Informazione, Universita` degli Studi di Urbino "Carlo Bo",
terrą il seguente seminario in Sala
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
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
Parma, 26 giugno 2003
del Dip. Mat.