Architecture-based runtime software evolution
Proceedings of the 20th international conference on Software engineering
Software architecture: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Scenario-Based Analysis of Software Architecture
IEEE Software
Analysing Dynamic Change in Software Architectures: A Case Study
CDS '98 Proceedings of the International Conference on Configurable Distributed Systems
Improving Dynamic Data Analysis with Aspect-Oriented Programming
CSMR '03 Proceedings of the Seventh European Conference on Software Maintenance and Reengineering
J2EE Design Patterns
A lightweight LTL runtime verification tool for java
OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools
IEEE Transactions on Software Engineering
Bugdel: An Aspect-Oriented Debugging System
APSEC '05 Proceedings of the 12th Asia-Pacific Software Engineering Conference
A scenario based notation for specifying temporal properties
Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
Run-time monitoring of architecturally significant behaviors using behavioral profiles and aspects
Proceedings of the 2006 international symposium on Software testing and analysis
Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis
International Symposium on Software Testing and Analysis 2006
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
A Rewriting Semantics for a Software Architecture Description Language
Electronic Notes in Theoretical Computer Science (ENTCS)
Architectural verification of black-box component-based systems
RISE'06 Proceedings of the 3rd international conference on Rapid integration of software engineering techniques
An Approach to Monitor Scenario-Based Temporal Properties in Web Service Compositions
Advanced Web and NetworkTechnologies, and Applications
FM '09 Proceedings of the 2nd World Congress on Formal Methods
Journal of Systems and Software
Angluin style finite state machine inference with non-optimal counterexamples
Proceedings of the First International Workshop on Model Inference In Testing
Multi-criteria service selection with optimal stopping in dynamic service-oriented systems
ICDCIT'10 Proceedings of the 6th international conference on Distributed Computing and Internet Technology
Run-time systems failure prediction via proactive monitoring
ASE '11 Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
| Hi-index | 0.00 |
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.