Austauschbarkeit von Services

<p>Service-orientierte Architekturen (SOA) sind ein vielversprechendes, aktuelles Paradigma der Softwarekonstruktion: Kooperierende Services sind der Schlüssel zur Integration heterogener, verteilter Systeme. Wann ein Service gegen einen anderen, für gewisse Zwecke geeigneteren Service ausgetauscht werden kann, ist ein fundamentales Problem.</p>

<p>In diesem Projektvorhaben wird diese Frage zunächst anhand von Modellen von Services studiert. Diese Modelle berücksichtigen insbesondere das neue Konzept der Bedienungsanleitung eines Services P als abstrakte Beschreibung der Möglichkeiten, P zu bedienen. Die Resultate der Modellierungsebene werden algorithmisch unterlegt und prototypisch implementiert.</p>