Stepwise design of BPEL web services compositions: An event-b refinement based approach

Studies in Computational Intelligence

Volumn 296, Issue , 2010, Pages 51-68

  Ait Sadoune, Idir ^a   Ait Ameur, Yamine ^a  

^a ENSMA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 77952709211     PISSN: 1860949X     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-13273-5_4     Document Type: Article

References (25)

1. van-der Aalst, W., Mooij, A., Stahl, C., Wolf, K.: Service interaction: Patterns, formalization, and analysis. In: Bernardo, M., Padovani, L., Zavattaro, G. (eds.) SFM 2009. LNCS, vol. 5569, pp. 42-88. Springer, Heidelberg (2009)
2. Abrial, J. R.: Modeling in Event-B: System and Software Engineering, cambridge edn. Cambridge University Press, Cambridge (2010)
3. Abrial, J. R., Hallerstede, S.: Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B. Fundamenta Informaticae 77, 1-28 (2007)
4. Aït-Ameur, Y., Baron, M., Kamel, N., Mota, J.-M.: Encoding a process algebra using the Event B method. Software Tools and Technology Transfer 11 (3), 239-253 (2009)
5. Ait-Sadoune, I., Ait-Ameur, Y.: A Proof Based Approach for Modelling and Veryfing Web Services Compositions. In: 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, Potsdam, Germany, pp. 1-10 (2009)
6. Ait-Sadoune, I., Ait-Ameur, Y: From BPEL to Event-B. In: Integration of Model-based Formal Methods and Tools Workshop (IMFMT 2009), Dusseldorf, Germany (February 2009)
7. van Breugel, F., Koshkina, M.: Models and Verification of BPEL. Draft (2006)
8. Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: Web Services Description Language (WSDL). W3C Recommendation Ver. 1.1, W3C (2001)
9. Consortium, W. W. W.: Web Services Choreography Description Language (WS-CDL). W3C Recommendation Version 1.0, W3C (2005)
10. Fahland, D.: Complete Abstract Operational Semantics for the Web Service Business Process Execution Language. Tech. rep., Humboldt-Universitat zu Berlin, Institut fur Informatik, Germany (2005)
11. Farahbod, R., Glsser, U., Vajihollahi, M.: A formal semantics for the Business Process Execution Language for Web Services. In: Web Services and Model-Driven Enterprise Information Services (2005)
12. Foster, H.: A Rigorous Approach To Engineering Web Service Compositions. Ph. D. thesis, Imperial College London, University of London (2006)
13. Foster, H., Uchitel, S., Magee, J., Kramer, J.: Model-based Verification of Web Service Composition. In: IEEE International Conference on Automated Software Engineering (2003)
14. Group, O. M.: Business Process Model and Notation (BPMN). OMG Document Number: dtc/2009-08-14 FTF Beta 1 for Version 2.0, Object Manager Group (2009)
15. Hinz, S., Schmidt, K., Stahl, C.: Transforming BPEL to Petri-Nets. In: van der Aalst, W. M. P, Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 220-235. Springer, Heidelberg (2005)
16. Jordan, D., Evdemon, J.: Web Services Business Process Execution Language (WS-BPEL). Standard Version 2.0, OASIS (2007)
17. Lohmann, N.: A Feature-Complete Petri Net Semantics for WS-BPEL 2.0. In: Web Services and Formal Methods International Workshop, WSFM 2007 (2007)
18. Marconi, A., Pistore, M.: Synthesis and Composition of Web Services. In: Bernardo, M., Padovani, L., Zavattaro, G. (eds.) SFM 2009. LNCS, vol. 5569, pp. 89-157. Springer, Heidelberg (2009)
19. Marconi, A., Pistore, M., Traverso, P.: Specifying Data-Flow Requirements for the Automated Composition of Web Services. In: Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), Pune, India (September 2006)
20. Nakajima, S.: Lightweight Formal Analysis of Web Service Flows. Progress in Informatics 2 (2005)
21. Nakajima, S.: Model-Checking Behavioral Specifications of BPEL Applications. In: WLFM 2005 (2005)
22. Salaun, G., Bordeaux, L., Schaerf, M.: Describing and Reasoning on Web Services using Process Algebra. In: IEEE International Conference on Web Service, ICWS 2004 (2004)
23. Salaun, G., Ferrara, A., Chirichiello, A.: Negotiation among web services using LO-TOS/CADP. In: Zhang, L.-J., Jeckle, M. (eds.) ECOWS 2004. LNCS, vol. 3250, pp. 198-212. Springer, Heidelberg (2004)
24. Specification, T. W. M. C.: Process Definition Interface - XML Process Definition Language (XPDL). Document Number WFMC-TC-1025 Version 2.1a, The Workflow Management Coalition (2008)
25. Verbeek, H., van-der Aalst, W.: Analyzing BPEL processes using Petri-Nets. In: Second International Workshop on Application of Petri-Nets to Coordination, Workflow and Business Process Management (2005)