Towards model-based verification of BPEL with model checking

Proceedings - Sixth IEEE International Conference on Computer and Information Technology, CIT 2006

Volumn , Issue , 2006, Pages

  Honghua, Cao ^a   Shi, Ying ^a   Dehui, Du ^a  

^a WUHAN UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; DISTRIBUTED COMPUTER SYSTEMS; ELECTRONIC COMMERCE; MODEL CHECKING;

B2C DOMAINS; BPEL MODELED; HOMOMORPHIC MAPPINGS; MODEL-BASED VERIFICATION; UML;

WEB SERVICES;

EID: 34547281022     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CIT.2006.185     Document Type: Conference Paper

References (12)

1. Specification: Business Process Execution Language for Web Services Version 1.1, http://www106.ibm.com/developerworks/webservices/library/ws-bpel/
2. E. Clarke, O. Grumberg, and D. Peled, Model Checking, The MIT Press, 1999.
3. C.Ruys and G.J. Holzmann, "Advanced SPIN Tutorial", SPIN 2004, Barcelona, Spain, 1 April 2004.
4. D. Skogan, R. Gronmo, I. Solheim, "Web Service Composition in UML", Proc. of the 8th IEEE Intl EDOC 2004, pp.47-57.
5. T. Gardner, "UML Modeling of Automated Business Processes with a Mapping to BPEL4WS", Proc. 17th European Conference on Object-Oriented Programming (ECOOP), Darmstadt, Germany, 2003.
6. S. Nakajima, "Verification of Web Service Flows with Model-Checking Techniques", Proc. of the First International Symposium on CW'02, IEEE, 2002, pp378-385.
7. R. Kazhamiakin and M. Pistore, "A parametric communication model for the verification of bpel4ws compositions", In Proc. of the WSFM, 2005.
8. B. Bordbar and A. Staikopoulos, "On Behavioural Model Transformation in Web Services", www.cs.bham.ac.uk/~bxb/Papres/eCOMO-paper-011.pdf
9. G.J. Holzmann, "The Model Checker SPIN". Trans. Soft. Engin, IEEE Vol.23, No.5, May 1997, pp. 279-295.
10. A. Pnueli, "The temporal logic of programs", Proceedings of the 18th IEEE Symposium on Foundation of Computer Science, 1977, pp.46-57.
11. OMG: UML 2.0 Superstructure Specification, Object Management Group, Adopted Specification, Version 2(August 2003)
12. D.Gries and F.B.Schneider, A logical Approach to Discrete Math, Springer-Verlag, 1994.