Communicating sequential processes
Communicating sequential processes
Behavioral analysis of software architectures using LTSA
Proceedings of the 21st international conference on Software engineering
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
Acme: architectural description of component-based systems
Foundations of component-based systems
A unified approach to global program optimization
POPL '73 Proceedings of the 1st annual ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Proceedings of a symposium on Compiler optimization
Speechnet: A Network of Hyperlinked Speech-Accessible Objects
WECWIS '99 Proceedings of the International Workshop on Advance Issues of E-Commerce and Web-Based Information Systems
Safe Integration of New Concerns in a Software Architecture
ECBS '06 Proceedings of the 13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems
Spoon: Compile-time Annotation Processing for Middleware
IEEE Distributed Systems Online
Enabling Dynamic Co-evolution of Models and Runtime Applications
COMPSAC '08 Proceedings of the 2008 32nd Annual IEEE International Computer Software and Applications Conference
Managing dynamic reconfiguration in component-based systems
EWSA'05 Proceedings of the 2nd European conference on Software Architecture
A Model-Based Framework to Design and Debug Safe Component-Based Autonomic Systems
QoSA '09 Proceedings of the 5th International Conference on the Quality of Software Architectures: Architectures for Adaptive Software Systems
Proceedings of the 33rd International Conference on Software Engineering
Towards supporting multiple execution environments for UML/OCL models at runtime
Proceedings of the 7th Workshop on Models@run.time
Robust reconfigurations of component assemblies
Proceedings of the 2013 International Conference on Software Engineering
Platform-dependent code generation for embedded real-time software
Proceedings of the 2013 International Conference on Compilers, Architectures and Synthesis for Embedded Systems
| Hi-index | 0.00 |
Building applications by assembling software components requires analyses of Architecture Description (AD) models for checking that component interactions respect the application and runtime context requirements. Most existing interaction model analyses are static: they do not take into account runtime information, e.g., parameter values.This paper presents a model-based framework that enables architects to both specify component interaction and perform dynamic validation. Our framework analyses AD models to identify partially compatible interactions, which require runtime checking. Then, it instruments the application to reify runtime information for error detection. By using this framework in iterative software design processes, architects can get design feedback, i.e., detected errors, and update the AD models accordingly. Moreover, our solution is generic regarding underlying platforms. This genericity is achieved through the mappings from the generic AD models to platform-specific API calls for constructing the running system.