Abstract
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).
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsAuthor information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Magee, J. (2008). Web Service Composition: From Analysis to Autonomy. In: Barthe, G., Fournet, C. (eds) Trustworthy Global Computing. TGC 2007. Lecture Notes in Computer Science, vol 4912. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-78663-4_2
Download citation
DOI: https://doi.org/10.1007/978-3-540-78663-4_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-78662-7
Online ISBN: 978-3-540-78663-4
eBook Packages: Computer ScienceComputer Science (R0)