A-priori-Verifizierung von Web-Diensten
Web service composition verspricht die Entwicklungszeiten und Kosten erheblich zu reduzieren, indem Standardkomponenten verwendet werden und in eine Arbeitsanwendung eingefügt werden. Obwohl dies sehr verlockend ist, lässt es Fragen offen, wie zur Richtigkeit der composition oder sogar zur Interoperabilität von Webdiensten. Aufbauend auf vorangegangenen Erfahrungen mit Multi-Agents Systems (MAS) wurde ein formeller Rahmen für die automatische Verifizierung der Befolgung gemeinsamer Regeln und Spezifikationen durch die Webdienste eingeführt. Der Society Constraint IFF (SC-IFF) Rahmen, der im Rahmen des europäischen Projekts SOCS entwickelt wurde, kann auf Situationen angewendet werden, bei denen die Argumentation auf unvollständigen Informationen und mit dynamischem Auftreten der Ereignisse erfolgt. SC-IFF umfasst Prüfverfahren, um a priori und direkt die Einhaltung der Multi-Agent-Protokolle durch die Agenten zu prüfen, zusätzlich zu einer Sprache, die auf abduktiver und constraint-logischer Programmierung aufbaut. Die Erfüllung der IP-Definitionen (Internet Protocol) und der Agent Communication Language (ACL) Semantik durch individuelle Webdienste wird auf Basis der laufenden Historie der Ereignisse überprüft. Eine Variante von SC-IFF, gSC-IFF genannt, sorgt für die Erstellung einer Historie von Ereignissen, die einem spezifischen Protokoll entsprechen, und verifiziert auch, ob die Historie ein Protokoll befolgt. Die durch das Prüfverfahren von gSC-IFF generierten Historien sind nicht nur eine Sammlung von Ereignissen, sie können auch Variablen enthalten und auch Klassen von Ereignishistorien darstellen. gSC-IFF hat sich als fehlerfrei erwiesen, was bedeutet, dass die von ihm erstellten Historien garantiert den Agenteninteraktionsprotokollen entsprechen, während die Ziele des Benutzers erreicht werden. Durch Schaffung positiver und negativer Erwartungen kann die Befolgung der Protokolle dynamisch überprüft werden, während diese entworfen werden. Besonders wichtig ist, dass durch seine Fähigkeit, die Eigenschaften der Protokolle selbst prüfen zu können, gSC-IFF zu einem wertvollen Werkzeug für die Protokollentwicklung gemacht wird.
