High-Assurance Service-Oriented Architectures

Assuring multiple quality attributes-such as reliability, availability, performance, security, and real-time response-for a variety of critical applications makes it essential to develop practical techniques for implementing high-assurance service-oriented systems.