An introduction to self-healing Web services (tutorial summary)