Imperial College London
Alternate

Professor Jeff Magee

Faculty of Engineering, Department of Computing

Emeritus Professor of Computing
 
 
 
//

Contact

 

+44 (0)20 7594 8601j.magee Website

 
 
//

Assistant

 

Mrs Clare Pearson +44 (0)20 7594 8601

 
//

Location

 

2.06Faculty BuildingSouth Kensington Campus

//

Summary

 

Publications

Citation

BibTex format

@inbook{Foster:2007:10.1007/978-3-540-72912-9_4,
author = {Foster, H and Uchitel, S and Magee, J and Kramer, J},
booktitle = {Test and Analysis of Web Services},
doi = {10.1007/978-3-540-72912-9_4},
pages = {87--119},
title = {WS-engineer: A model-based approach to engineering Web service compositions and choreography},
url = {http://dx.doi.org/10.1007/978-3-540-72912-9_4},
year = {2007}
}
Download

RIS format (EndNote, RefMan)

TY  - CHAP
AB  - 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 of 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 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. © Springer-Verlag Berlin Heidelberg 2007.
AU  - Foster,H
AU  - Uchitel,S
AU  - Magee,J
AU  - Kramer,J
DO  - 10.1007/978-3-540-72912-9_4
EP  - 119
PY  - 2007///
SN  - 9783540729112
SP  - 87
TI  - WS-engineer: A model-based approach to engineering Web service compositions and choreography
T1  - Test and Analysis of Web Services
UR  - http://dx.doi.org/10.1007/978-3-540-72912-9_4
ER  -
Download