PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Muccini H., Polini A., Ricci F., Bertolino A. Monitoring architectural properties in dynamic component-based systems. In: Component-Based Software Engineering. 10th International Symposium CBSE 2007 (Medford, MA, USA, 9-11 July 2007). Proceedings, pp. 124 - 139. Heinz W. Schmidt, Ivica Crnkovic, George T. Heineman and Judith A. Stafford (eds.). (Lecture Notes in Computer Science, vol. 4608). Springer Berlin / Heidelberg, 2007.
 
 
Abstract
(English)
Modern systems are increasingly required to be capable to evolve at run-time, in particular allowing for the dynamic plugging of new features. It is important that this evolution happens preserving some established properties (which can concern the structure, the interaction patterns, or crucial extra-functional properties, such as reliability or security), and due to dynamicity this needs to be checked at run-time, as the changes occur. In this work we consider evolving component-based systems formed by a kernel architecture to which new components can be plugged in at run-time, and introduce the MOSAICO approach for the run-time monitoring of architectural properties. MOSAICO uses Aspect-oriented technologies for instrumenting and monitoring the system according to selected architectural properties. MOSAICO can handle evolving black-box component systems since it continuously watches the events occurring at the extension points of the kernel architecture.The application of a prototype implementation of MOSAICO, capable to handle interaction pattern properties, is illustrated on the NewsFeeder case study.
URL: http://www.springerlink.com/content/l382755n01543124/fulltext.pdf
DOI: 10.1007/978-3-540-73551-9
Subject Component-based systems
Monitoring
D.2.4 Software/Program Verification


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional