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