A logical verification methodology for service-oriented computing

Viene introdotta una metodologia di verifica logica per verificare proprietà di sistemi service-oriented. Le proprietà sono descritte tramite SocL, una logica branching time specificatamente disegnata per descrivere in modo efficente aspetti peculiare dei servizi, quali la accettazione di una richiesta e la correlazione fra le risposte. Viene mostrata una istanziazione della teoria generale basata sul linguaggio formale COWS e viene mostratolo strumento CMC per assistere l'utente nella verifica di formule SocL sui modelli COWS.