The Community for Technology Leaders
RSS Icon
Edinburgh, UK
May 28, 2004 to May 28, 2004
ISBN: 0-7695-2163-0
pp: 221-230
Paola Inverardi , Università delléAquila
Patrizio Pelliccione , Università delléAquila
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.
Paola Inverardi, Patrizio Pelliccione, "Compositional Verification of Middleware-Based Software Architecture Descriptions", ICSE, 2004, Proceedings. 26th International Conference on Software Engineering, Proceedings. 26th International Conference on Software Engineering 2004, pp. 221-230, doi:10.1109/ICSE.2004.1317444
16 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool