Inteligentni agenci i rozważania o usługach WWW
Architektury zorientowane usługowo, obejmujące zasady, zbiory metod i wzorce architektoniczne, stały się nowym modelem porządkowania międzyfirmowych i wewnątrzfirmowych procesów informacyjnych. Praktycznym przykładem zastosowania tych architektur jest komponowanie usług WWW, które polega na umieszczaniu funkcji biznesowych w składnikach oprogramowania oraz wywoływaniu ich za pośrednictwem zestawu standardów internetowych. W powyższym kontekście potrzeba opracowania bardziej zaawansowanych standardów, a w szczególności potrzeba bieżącego testowania zgodności z regułami i specyfikacjami, stanęła u podstaw wykorzystania ram przepływu informacji z uwzględnieniem ograniczeń społecznych (Society Constraint Information Flow Framework — SC-IFF). Ramy SC-IFF opracowano w trakcie projektu SOCS z myślą o zapewnieniu formalnego języka definiowania protokołów interakcji agentów. Ich odpowiednik operacyjny opiera się głównie na abdukcyjnej procedurze sprawdzającej i może posłużyć do weryfikowania zgodności poszczególnych usług WWW z globalnymi protokołami lub choreografiami. Ramy SC-IFF zintegrowano z „infrastrukturą społeczną SOCS” (SOCS-SI), czyli aplikacją Java mogącą monitorować interakcje agentów i przekazywać je do systemu SC-IFF w celu wnioskowania. Infrastruktura SOCS-SI jako dane wejściowe otrzymuje specyfikacje choreografii wraz z zachodzącymi zdarzeniami i przekazuje użytkownikowi wyniki obliczeń SC-IFF dotyczących zgodności za pośrednictwem graficznego interfejsu użytkownika. Poza umożliwieniem bieżącej weryfikacji zgodności dzięki natychmiastowemu sprawdzaniu zdarzeń pochodzących z różnych źródeł infrastruktura SOCS-SI może również analizować pliki dziennika zawierające odpowiednie zdarzenia. Infrastruktura SOCS-SI wraz ze swoimi procedurami sprawdzającymi stanowi atrakcyjne ramy dla projektantów usług WWW, umożliwiając im wnioskowanie na temat oczekiwań, protokołów społecznych i właściwości w warunkach niepełnych informacji. Ponadto może utorować drogę do nowych koncepcji w dziedzinie projektowania społeczeństw agentów dzięki wnioskowaniu na temat właściwości i przy pomocy formalnie ugruntowanych narzędzi weryfikacyjnych.
