Runtime Monitoring of Web Service Conversations: Problems of Security, Data-Exchange and Liveness
Increasingly, global business relies on the exchange of information between web services. It is crucial that these services correctly exchange messages. A computer science student from the University of Toronto will work with IBM at their Toronto Centre for Advanced Studies on a research tool that monitors "conversations" between web services to ensure that the sets of messages exchanged are correct. The project will study the possibility of extending this tool to check security and data-dependant properties of these conversations.