Weryfikacja usług WWW metodą „a priori”
Komponowanie usług WWW daje nadzieję na znaczne skrócenie czasu i obniżenie kosztów ich rozwoju, ponieważ przewiduje korzystanie z gotowych składników i łączenie ich w działającej aplikacji. Chociaż ta perspektywa jest bardzo atrakcyjna, pozostawia nierozstrzygnięte pytania, na przykład dotyczące poprawności kompozycji, a nawet zgodności operacyjnej uzyskanych usług WWW. Korzystając z wcześniejszych doświadczeń w dziedzinie systemów wieloagentowych (MAS), wprowadzono formalne ramy służące weryfikowaniu zgodności usług WWW ze zbiorem wspólnych reguł i specyfikacji. Ramy przepływu informacji z uwzględnieniem ograniczeń społecznych (Society Constraint Information Flow Framework — SC-IFF), opracowane w trakcie europejskiego projektu SOCS, można stosować w sytuacjach charakteryzujących się wnioskowaniem przy niepełnym zasobie informacji i dynamicznym występowaniem zdarzeń. Ramy SC-IFF obejmują procedury sprawdzające, które pozwalają a priori i na bieżąco sprawdzać zgodność agentów z protokołami wieloagentowymi, a także język oparty na programowaniu logicznym z użyciem ograniczeń i abdukcji. Weryfikacja zgodności poszczególnych usług WWW z definicjami protokołu IP i semantyką języka komunikacji agentów (ACL) jest realizowana na podstawie aktualnej historii zdarzeń. Odmiana ram SC-IFF pod nazwą gSC-IFF umożliwia generowanie historii zdarzeń zgodnej z określonym protokołem, a nie tylko weryfikację zgodności historii z protokołem. Ponadto historia generowana przez procedurę sprawdzającą stosowaną w ramach gSC-IFF jest nie tylko zbiorem zdarzeń, ale może zawierać zmienne i reprezentować klasy historii zdarzeń. Ramy gSC-IFF okazały się na tyle solidne, że generowane w nich historie są zgodne z protokołami interakcji agentów, a przy tym umożliwiają realizację celów użytkownika. Dzięki generowaniu oczekiwań pozytywnych i negatywnych można dynamicznie sprawdzać zgodność protokołów w trakcie ich projektowania. Co ważniejsze, możliwość sprawdzania właściwości samych protokołów powoduje, że ramy gSC-IFF stanowią cenne narzędzie do ich projektowania.
