Kontraktbasierte Modellierung, Implementierung und Suche von Komponenten in serviceorientierten Architekturen / von Marc Lohmann