wcomp12 Arcaini, Paolo Gargantini, Angelo Riccobene, Elvinia

Components monitoring through formal specifications

in WCOP '12 - Proceedings of the 17th international doctoral symposium on Components and ArchitectureACM, WCOP '12 (2012): 25--30 ISBN 978-1-4503-1348-3

Abstract
The paper presents a specification-based approach for runtime monitoring of components in the field of component-based software engineering. The conformance of a component is checked with respect to a formal specification given in terms of Abstract State Machines. The validity of the approach is proved showing how the technique can be used for the monitoring of web services developed using Axis2. The theoretical approach is implemented in a technical framework where Java annotations are used to link the web service with its formal specification, and AspectJ is used to check the conformance runtime.


[read the copyright and download the pdf file] [DOI] [url]

My sw links