Web Service Composition: From Analysis to Autonomy
The talk addresses the benefits, costs and research issues involved in taking a rigorous approach to the engineering of web services. In the first part of the talk, we present a way of developing web services in which model checking is used to verify that service compositions are verified against formally specified design goals. In the second part of the talk, we outline an approach to using formally specified goals in developing autonomous or self-managed compositions. The presentation will include some short demonstrations of the tools we are using. The talk is based on work in London Software Systems a grouping that includes academics at Imperial College London (the speaker, Jeff Kramer, Howard Foster and Sebastian Uchitel) and at University College London (Wolfgang Emmerich, Anthony Finkelstein and David Rosenblum).