Book Details

Web Services and Formal Methods

Publication year: 2006

: 978-3-540-38865-4


This volume contains the proceedings ofthe international workshop WS-FM(Web Services and Formal Methods) held at Vienna University of Technology,Vienna, Austria, during September 8-9, 2006.The International Workshop on Web Services and Formal Methods aims tobring together researchers working on Web services and formal methods in or-der to activate a fruitful collaboration in this direction of research. This, poten-tially, could also have a great impact on the current standardization phase ofWeb service technologies.

: Computer Science, SOAP, Service Oriented Architecture (SOA), XML, formal method, formal methods, model checking, ontologies, performance engineering, petri nets, program analysis, security, security analysis, semantic Web, semantics, systems analysis