Service computing is a cutting-edge area, popular in both industry and academia. This edited volume by well-established researchers in this field, captures and makes accessible the most recent practical developments in service-oriented high-assurance systems.