A framework for runtime V&V in business-critical Service Oriented Architectures

Service Oriented Architectures (SOA) present features that allow companies to react quickly to changes through the provision of new or modified services in their environments. However, the application of verification and validation (V&V) techniques in such environments is a very challenging task, due to their complexity and dynamic nature, hampering the application of traditional V&V. In this context, this paper justifies the needs for a runtime V&V approach, presents a framework for its implementation in critical SOA systems, and discusses some important challenges that must be addressed.