Institute Name: Dipartimento di Matematica pura ed Applicata
Description: The research group in L'Aquila has relevant expertise in
the field of architectural design, specification and verification of complex
software systems. In recent years, part of the research focused on the field
of software architectures. In particular, it has been proposed the use of a
rewriting-based specification language, the Chemical Abstract Machine
{BB92}, already known in the literature, to describe software architectures.
This approach has been shown to be very effective in terms of verification
and analysis of software architecture properties, both behavioral
{CIW98,IW95,IYW97} and quantitative {BIMR98, BIN98}. Recently, the
architectural description have been used to derive or to retrieve
information useful to devise integration testing plans {BIMR97}.
For system specification development phases, models have been proposed to
make extra-functional system features such as performance and localities
explicit {Cor98,CD96,CD97,CGR97}. For system verification, techniques have
been proposed based on the use of first-order logic over a boolean domain
(BFOL). These techniques are very effective, since they allow the
verification of systems whose dimension are too largefor other approaches,
such as MC (Model Checking) and BDDs (Binary Decision Diagrams).
Researchers associated with the project:
Flavio Corradini, Henry Muccini, Dino Di Cola
Brief CVs of Key Researchers:
Name: Paola Inverardi
Nationality: Italian
Email: inverard@univaq.it
Home page: http://www.univaq.it
Academic Qualifications & Experience:
Paola Inverardi is full professor at University of L'Aquila. Previously she
has worked at IEI-CNR in Pisa and at Olivetti in Pisa.
Paola Inverardi's main research area is in the application of formal methods
to software development. In recent year her research interests mainly
concentrated in the field of software architectures. She has proposed the
use of a rewriting-based specification language, already known in the
literature, the Chemical Abstract Machine, to describe software
architectures. In recent papers she has shown the effectiveness of this
approach in terms of verification and analysis of software architecture
properties, both behavioral and quantitative.
She participates to several
program committee of workshop and conferences on software architectures
among which , AMAST'97, AMAST'98, IWSSD'97, IWSSD'98, ICSE'97, ISAW'98,
COORDINATION'99, IFIP WICSA1-99. She has been co-chair of a joint CNR-NSF
workshop on "The Role of Software Architecures in analysis and testing" .
She is the author of over fifty pubblications in international journals and
conference proceedings.
Name: Flavio Corradini
Nationality: Italian
Email: flavio@univaq.it
Home page: http://www.univaq.it
Academic Qualifications & Experience:
Flavio Corradini is researcher at University of L'Aquila since 1996. He has
got his PhD in Computer Science at University of Rome under the supervision
of Prof. Rocco De Nicola. Flavio Corradini's main research interests are in
the specification and analysis of complex systems. In particular he has
focussed on quantitative aspects of concurrent systems, notably time and
performance.
Name: Henry Muccini
Nationality: Italian
Email: henrry@univaq.it
Home page: http://www.univaq.it
Academic Qualifications & Experience:
Henry Muccini is currently PhD student in Computer Science at University of
L'Aquila.
His main research area is in software architecture specification and
analysis. He is currently investigating methods to integrate the SA
description in the software development life cycle, notably the requirements
phase and the design phase, in order to use the architectural description to
derive/improve the integration testing phase.
Name: Dino Di Cola
Nationality:Italian
Email: dicola@univaq.it
Home page: http://www.univaq.it
Academic Qualifications & Experience:
Dino Di Cola is entering the PhD program in Computer Science at University
of L'Aquila. His main research area is in specification and analysis of
complex systems. He is currently investigating the relationship between
qualitative (functional) and quantitative aspects of complex systems.
Selected Publications:
{BIMR} S. Balsamo, P.Inverardi, C. Mangano, F. Russo, Performance Evaluation
of a Software Architecture: A Case Study, in IEEE-Proceedings IWSSD-9, April
1998.
{BIN98} S. Balsamo, P. Inverardi, C. Mangano. An Approach to Performance
Evaluation of Software Architectures. In IEEE Proc. WOSP'98, 1998, extended
version invited for TSE.
{Cor98} F. Corradini. On Performance Congruence for Process Algebras.
Information and Computation, 145, 1998.
{CD97} F. Corradini, R. De Nicola. Locality Based Semantics for Process
Algebras. Acta Informatica 34, 1997.
{CGR97} F. Corradini, R. Gorrieri, M. Roccetti. Performance Preorder and
Competitive Equivalence. Acta Informatica 34 (11), 1997.
{CIW98} D. Compare, P. Inverardi, A.L. Wolf. Uncovering Architectural
Mismatch in Component Behaviour. Science of Computer Programming, 33,
1999.
{IYW97} P. Inverardi, D. Yankelevich, A. Wolf. Checking Assumptions in
Components Dynamics at the Architectural Level. In Coordination'97, LNCS
1282, 1997, extended version invited for submission on TOSEM (under
revision).
{IW95} P. Inverardi, A.L. Wolf. Formal Specifications and Analysis of
Software Architectures Using the Chemical Abstract Machine Model.
Transaction of Software Engineering 21 (4), 1995.
{BIMR97} A. Bertolino, P. Inverardi, H. Muccini, A. Rosetti. An Approach to
Integration Testing Based on Architectural Descriptions. In IEEE Proc.
ICECCS'97, 1997.
{ACI99}C. Attanasio, F. Corradini, P. Inverardi, Static Analysis of
real-time component based systems configurations, Proc. COORDINATION 99,
LNCS to appear]
Contact Details:
Principal Investigator: Paola Inverardi
Address: Dip. di Matematica Pura ed Applicata, Universita'
dell"Aquila, via Vetoio, Coppito 67010 L'Aquila
Telephone number: +39 0862 433127]
EMail:inverard@univaq.it
List of Members