|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
 Digg  Furl  Spurl  Blink  Simpy  Google  Del.icio.us  Y!MyWeb | ||
| Search | ||
| ||
IEEE International Conference on Web Services (ICWS'04)
Compatibility Verification for Web Service Choreography
San Diego, California
June 06-June 09
ISBN: 0-7695-2167-3
| ASCII Text | x | ||
| Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer, "Compatibility Verification for Web Service Choreography," 2012 IEEE 19th International Conference on Web Services, pp. 738, IEEE International Conference on Web Services (ICWS'04), 2004. | |||
| BibTex | x | ||
| @article{ 10.1109/ICWS.2004.1314806, author = {Howard Foster and Sebastian Uchitel and Jeff Magee and Jeff Kramer}, title = {Compatibility Verification for Web Service Choreography}, journal ={2012 IEEE 19th International Conference on Web Services}, volume = {0}, year = {2004}, isbn = {0-7695-2167-3}, pages = {738}, doi = {http://doi.ieeecomputersociety.org/10.1109/ICWS.2004.1314806}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - 2012 IEEE 19th International Conference on Web Services TI - Compatibility Verification for Web Service Choreography SN - 0-7695-2167-3 SP EP A1 - Howard Foster, A1 - Sebastian Uchitel, A1 - Jeff Magee, A1 - Jeff Kramer, PY - 2004 KW - null VL - 0 JA - 2012 IEEE 19th International Conference on Web Services ER - | |||
In this paper we discuss a model-based approach to verifying process interactions for coordinated web service compositions. The approach uses finite state machine representations of web service orchestrations and assigns semantics to the distributed process interactions. The move towards implementing web service compositions by multiple interested parties as a form of distributed system architecture motivates the need for supporting compatibility verification of activities and transactions in all the processes. The described approach is supported by a suite of cooperating tools for specification, formal modeling and providing verification results from orchestrated web service interactions.
Citation:
Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer, "Compatibility Verification for Web Service Choreography," icws, pp.738, IEEE International Conference on Web Services (ICWS'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.