Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of
scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other
copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying
this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without
the explicit permission of the copyright holder.
show main publications
A Model-Based Approach to Engineering Web Service Compositions and Choreography
@INCOLLECTION{FKMU07,
title = {{A Model-Based Approach to Engineering Web Service Compositions and Choreography}},
author = {{Howard} {Foster} and {Jeff} {Kramer} and {Jeff} {Magee} and {Sebastian} {Uchitel}},
booktitle = {Testing and Analysis of Web Services},
editor = {Baresi and Luciano; Di Nitto and Elisabetta},
pages = {87-120},
abstract = {In this chapter we describe a model-based approach to the analysis of
service interactions for web service choreography and their coordinated compositions. The move towards implementing web service choreography requires both design time verification and execution time validation of these service interactions to ensure that service implementations fulfil requirements for multiple interested partners before such compositions and choreographies are deployed for use. The approach employs several formal analysis techniques and perspectives, and applies these to the domain of web service choreographies and the compositional implementations that each role in these choreographies must satisfy. Our approach models the service interaction designs of choreographies (in the form of Message Sequence Charts), the service choreography descriptions (in WS-CDL - the Web Service Choreography Description Language) and the service composition processes (in BPEL4WS - the Business Process Language for Web Services). We translate models between UML and Web Service specifications using the Finite State Process (FSP) process algebra notation. Where interactions deviate from choreography rules, the interaction sequences can be shown back to the user of the approach in an easy and accessible way, in the UML form. The described approach is supported by a suite of cooperating tools, formal modelling, simulation, animation and providing verification results from choreographed web service interactions. The tool suite and related papers are available for download at: http://www.doc.ic.ac.uk/ltsa/eclipse/wsengineer.},
publisher = {Springer-Verlag Berlin and Heidelberg GmbH \& Co.},
year = {2007},
chapter = {1},
doi = {10.1007/978-3-540-89652-4_46},
invited = {Y},
isbn = {Test and Analysis of Web Services},
keywords = {BPEL4WS, business process, model checking, verification},
main = {N},
month = {August},
organization = {Imperial College London },
partner = {LSS-ICL},
school = {Department of Computing},
status = {public},
task = {T6.1},
}
|
