A Calculus for Generation, Verification and Refinement of BPEL Specifications

Electronic Notes in Theoretical Computer Science

Volumn 200, Issue 3, 2008, Pages 43-65

  Abouzaid, Faisal ^a   Mullins, John ^a  

^a ÉCOLE POLYTECHNIQUE DE MONTRÉAL   (Canada)

Author keywords

BPEL; formal methods; orchestration; pi calculus; Web services

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; FORMAL LANGUAGES; FORMAL METHODS; SPECIFICATIONS; VERIFICATION;

BPEL; ORCHESTRATION; PI-CALCULUS;

WEB SERVICES;

EID: 44249088573     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2008.04.092     Document Type: Article

References (12)

1. Alonso G., Casati F., Kuno H., and Machiraju V. Web Services: Concepts, Architectures and Applications (2004), Springer
2. Chirichiello, A. and G. Salan, Encoding abstract descriptions into executable web services: Towards a formal development, in: 2005 IEEE/WIC/ACM International Conference on Web Intelligence WI'2005, Compine, France, 2005
3. Ferrara, A., Web services: a process algebra approach,, in: Proceedings of the 2nd international conference on Service oriented computing, New York, NY, USA, 2004, pp. 242-251
4. Ferrari G., Ferro G., Gnesi S., Montanari U., Pistore M., and Ristori G. An automata based verification environment for mobile processes. In: Brinksma E. (Ed). Proceedings of the Conference on Tools and Algorithms for the Construction and Analysis of Systems. (TACAS'97). LNCS 1217 (1997) 275-289
5. Ferrari, G., S. Gnesi, U. Montanari and M. Pistore, A model checking verification environment for mobile processes, Technical report, Consiglio Nazionale delle Ricerche, Istituto di Scienza e Tecnologie dell'Informazione 'A. Faedo' (2003)
6. Lapadula A., Pugliese R., and Tiezzi F. A wsdl-based type system for ws-bpel. Proc. of COORDINATION'06. Lecture Notes in Computer Science 4038 (2006) 145-163
7. Lapadula A., Pugliese R., and Tiezzi F. A Calculus for Orchestration of Web Services. Proc. of 16th European Symposium on Programming. (ESOP'07). Lecture Notes in Computer Science 4421 (2007) 33-47
8. Lucchi R., and Mazzara M. A pi-calculus based semantics for ws-bpel. Journal of Logic and Algebraic Programming (2007) Elsevier press
9. Merro, M. and D. Sangiorgi, On asynchrony in name-passing calculi, in: ICALP, 1998, pp. 856-867
10. Milner R., Parrow J., and Walker D. Modal logics for mobile processes. Theoretical Computer Science (1993)
11. Oasis. Web service business process execution language version 2.0 specification, oasis standard (2007). http://docs.oasis - open.org/wsbpel/2.0/wsbpel - v2.0.pdf
12. van der Aalst W.M.P., and Lassen K.B. Translating unstructured workflow processes to readable bpel: Theory and implementation. the International Journal of Information and Software Technology (INFSOF) (2006)