Search Results - "model checking"

Test and analysis of Web services by Baresi, Luciano, Di Nitto, Elisabetta

Table of Contents: “…Analyzing conversation realizability, synchronizability, and verifacation -- 5.model checking with abstraction for web services -- 6.Unit testing BPEL compositions -- 7.A model driven approach to discovery, testing and monitoring of web services -- 8.Web services - oriented architectures -- 9.Run time monitoring in service - oriented -- 10.Monitoring WS-agreements: an evevt calculus -based approach -- 11.assumption - based composition and monitoring of web -- 12.Reability modelling and analysis of service - oriented architectures -- 13.Vulnerability analysis of web - based applications -- 14.challengers of testing web services and security in SOA implementation -- 15.ws- attestation enabling trusted computing of web services…”