Describing, verifying and developing web service using the B-method

Proceedings of the International Conference on Next Generation Web Services Practices - NWeSP 2006

Volumn , Issue , 2006, Pages 11-16

  Wang, Shuaiqiang ^a   Wan, Jiancheng ^a   Yang, Xiao ^a  

^a SHANDONG UNIVERSITY OF TECHNOLOGY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION SERVICES; REFINING; SPECIFICATIONS; WEB SERVICES;

AUTOMATIC REFINEMENT; B MODELS; B-METHOD; BPEL4WS; COMPOSITION OF SERVICES; FORMAL MODELING; FORMAL SPECIFICATIONS; INTERNATIONAL CONFERENCES; STATE MODELING; STRUCTURING MECHANISMS; TOOL SUPPORTS;

WORLD WIDE WEB;

EID: 47649083583     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/NWESP.2006.13     Document Type: Conference Paper

References (13)

1. Koehler J. , Srivastava B. . Web service composition; Current solutions and open problems. In: Proceedings of the 13th International Conference G. O. Young,.
2. Karamanolis C. , Giannakopoulou D. , Magee J. , Wheater S. M.. Model checking of workflow schemas. In: Proceedings of the 4th International Enterprise Distributed Object Computing Conference, Makuhari, Japan, 2000, 170-179
3. Foster H. , Uchitel S., Magee J., Kramer J, Model based verification of web service compositions. In Proceedings of the 18th IEEE International Comference on Automated Software Engineering, Montreal, Canada, 2003, 152-161
4. Koshkina M. , van Breugel F. Modeling and verifying Web service orchestration by means of the concurrency workbench. ACM SIGSOFT SEN, 2004, 29 (5): 1-10
5. Zhang Jia, Chung Jen-Yao, Chang C. K. , Kim S. . WS-Net: A Petrinet Based Specification Model for Web Services. In: Proceedings of the 2nd IEEE International Conference on Web Services, San Diego, California, USA, 2004, 420-427
6. Abrial, J.R. The B Book - Assigning programs to meanings. Cambridge University Press.
7. ClearSy. AtelierB User Manual V3.6. ClearSy System Engineering, Aix-en-Provence (F).
8. B-Core. B-Toolkit User's Manual, Release 3.2. B-Core (UK) Ltd, Oxford (UK).
9. Michael Butler, Michael Leuschel, Colin Snook. Tools for system validation with B abstract machines. In Proceedings of ASM 2005: 12th International Workshop on Abstract State Machines (in press), Paris.
10. Leuschel, M. and Butler, M. ProB: A Model Checker for B. In Proceedings of Formal Methods Europe 2003 2805, pp. 855-874, Pisa, Italy. Keijiro, A., Gnesi, S. and Dino, M., Eds.
11. Leuschel, M. and Butler, M. Automatic Refinement Checking for B. In Proceedings of ICFEM'05 LNCS 3785
12. Clarke, E.M., Grumberg, O. and Peled, D. Model Checking, MIT Press.
13. Business Process Execution Language for Web Services version 1.1. http://www. 128.ibm.com/developerworks/webservices/library/specific ation/ws-bpel/