Intelligente Agenten urteilen über Webdienste
Durch die Bereitstellung von Prinzipien, Methoden und Architekturmustern sind Serviceorientierte Architekturen (engl. Service Oriented Architectures, SOAs) als ein neues Paradigma für die Strukturierung von inter-/intra-business-Informationsprozessen entstanden. Die Zusammensetzung eines Webdienstes, in dem Geschäftsfunktionen in Softwareelemente verkapselt und durch einen Stapel von Internetstandards aufgerufen werden können, bietet ein praktisches Beispiel dieser Architekturen. In diesem Kontext führte das Bedürfnis nach anspruchsvolleren Standards und insbesondere nach Run-Time-Tests hinsichtlich der Befolgung von Regeln und Spezifikationen zur Nutzung des Society Constraint IFF Rahmens. SC-IFF wurde im Rahmen des SOCS-Projekts entwickelt, um eine formale Sprache zur Definition der Agenten-Interaktionsprotokolle zu liefern. Sein betriebliches Gegenstück basiert vor allem auf dem ableitenden Nachweisverfahren von IFF und kann zur Verifizierung der Befolgung globaler Protokolle oder Choreografien durch individuelle Webdienste eingesetzt werden. SC-IFF wurde in "SOCS society infrastructure" (SOCS-SI) integriert, eine Java-Softwareanwendung, die Interaktionen überwachen kann und diese an SC-IFF zur Beurteilung weiterleitet. SOCS-SI erhält die Spezifikationen der Choreografie als Input zusammen mit den laufenden Events und liefert and den Benutzer die Ergebnisse der SC-IFF-Berechnungen zu Konformitätsfragen über eine grafische Benutzerschnittstelle. Neben der Konformitätsverifizierung bei Run-Time, indem eingehende Ereignisse aus verschiedenen Quellen sofort geprüft werden, kann SOCS-SI auch Log-Dateien analysieren, die relevante Ereignisse enthalten. Zusammen mit dem Nachweisverfahren stellt SOCS-SI einen attraktiven Rahmen für Web-Dienst-Designer dar, um über Erwartungen, soziale Protokolle und Eigenschaften in einer Umgebung zu urteilen, in der die Informationen nicht vollständig sind. Weiterhin kann es auch den Weg für neue Konzepte im Bereich Agent Society Engineering ebnen, die durch das Urteilen über Eigenschaften angetrieben und von formell begründeten Verifizierungswerkzeugen unterstützt werden.
