Compositional verification of middleware-based software architecture descriptions

In this paper we present a compositional reasoning to verify middleware-based software architecture descriptions. We consider a nowadays typical software system development, namely the development of a software application A on a middleware M. Our goal is to efficiently integrate verification techni...

Full description

Saved in:
Bibliographic Details
Published inProceedings. 26th International Conference on Software Engineering pp. 221 - 230
Main Authors Caporuscio, M., Inverardi, P., Pelliccione, P.
Format Conference Proceeding
LanguageEnglish
Published IEEE 2004
Subjects
Application software
Computer architecture
Context modeling
Data structures
Explosions
Middleware
Software architecture
Software quality
Software systems
System software
Online AccessGet full text

Cover

More Information
Summary:In this paper we present a compositional reasoning to verify middleware-based software architecture descriptions. We consider a nowadays typical software system development, namely the development of a software application A on a middleware M. Our goal is to efficiently integrate verification techniques, like model checking, in the software life cycle in order to improve the overall software quality. The approach exploits the structure imposed on the system by the software architecture in order to develop an assume-guarantee methodology to reduce properties verification from global to local. We apply the methodology on a non-trivial case study namely the development of a Gnutella system on top of the SIENA event-notification middleware.
ISBN:9780769521633
0769521630
ISSN:0270-5257
1558-1225
DOI:10.1109/ICSE.2004.1317444