From the reviews: “This fascinating book — on an important set of topics — brings together current research in high-assurance computing. Services computing is an emerging discipline that bridges the gap between business services and information technology services. The core technologies for services computing are service oriented architecture (SOA) and Web services. … This collection of research articles is best suited for a graduate-level academic audience and for practitioners who are particularly immersed in service-oriented computing.”