High-Assurance Service-Oriented Architectures
Jing Dong, Raymond A. Paul, Liang‐Jie Zhang · Computer · 2008
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.