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.
Components monitoring through formal specifications / P. Arcaini, A. Gargantini, E. Riccobene - In: Proceedings of the 17th international doctoral symposium on Components and Architecture WCOP[s.l] : ACM, 2012. - ISBN 9781450313483. - pp. 25-30 (( Intervento presentato al 17. convegno Doctoral Symposium on Components and Architecture (WCOP) tenutosi a Bertinoro nel 2012 [10.1145/2304676.2304682].
Components monitoring through formal specifications
P. ArcainiPrimo
;E. RiccobeneUltimo
2012
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.File | Dimensione | Formato | |
---|---|---|---|
wcop2012_cameraReady.pdf
accesso aperto
Tipologia:
Post-print, accepted manuscript ecc. (versione accettata dall'editore)
Dimensione
745.29 kB
Formato
Adobe PDF
|
745.29 kB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.