Author:
Simmonds Jocelyn,Chechik Marsha,Nejati Shiva,Litani Elena,O’Farrell Bill
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Dwyer, M., Avrunin, G., Corbett, J.: Patterns in Property Specifications for Finite-State Verification. In: Proceedings of 21st International Conference on Software Engineering (ICSE 1999) pp. 411–420 (May 1999)
2. IBM: Business Process Execution Language for Web Services, http://www-128.ibm.com/developerworks/library/specification/ws-bpel/
3. Lecture Notes in Computer Science;X. Fu,2003
4. Fu, X., Bultan, T., Su, J.: Analysis of Interacting BPEL Web Services. In: Proceedings of the Thirteenth International World Wide Web Conference (WWW 2004), New York, pp. 621–630 (May 2004)
5. Kazhamiakin, R., Pistore, M.: A Parametric Communication Model for the Verification of BPEL4WS Compositions. In: EPEW/WS-FM, pp. 318–332 (2005)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献