Dieses Buch beleuchtet die theoretische Basis der Service‑orientierten Softwareentwicklung durch den Blick auf das Sensoria‑Projekt, zeigt dabei innovative Ansätze zur Modellierung von Services und erläutert praxisnahe Techniken für deren Verifikation und Qualitätsmanagement.