Requirements-driven verification of WSBPEL processes

Proceedings - 2007 IEEE International Conference on Web Services, ICWS 2007

Volumn , Issue , 2007, Pages 354-363

  Rouached, Mohsen ^a   Godart, Claude ^a  

^a LORIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION SERVICES; PROCESS DESIGN; PROCESS ENGINEERING; STRUCTURE (COMPOSITION); WORLD WIDE WEB;

(E ,3E) PROCESS; (PL) PROPERTIES; DATA FLOWS; DESIGN ERRORS; EVENT CALCULUS (EC); EVENT-DRIVEN APPROACH; INTERNATIONAL CONFERENCES; SERVICE PROCESSES; TOOL SUPPORTS; VERIFICATION TECHNIQUES; WEB SERVICE COMPOSITION; WEB SERVICES COMPOSITIONS;

WEB SERVICES;

EID: 46849111813     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICWS.2007.153     Document Type: Conference Paper

References (20)

1. A. Arkin, S. Askary, B. Bloch, and F.Curbera. Web services business process execution language version 2.0. Technical report, OASIS, December 2004.
2. D. Fahland and W. Reisig. ASM-bascd semantics for BPEL: The negative control now. In D. Bcauquicr and E. Borger and A. Slisscnko, editor, Proc. 12th International Workshop on Abstract State Machines, pages 131-151, Paris, France, March 2005.
3. A. Ferrara. Web services: A process algebra approach. In Proceedings of the 2nd international conference on Service oriented computing, pages 242-251, New York, NY, USA, 2004. ACM Press.
4. J. Fisteus, L. Fernández, and C. Kloos. Formal verification of BPEL4WS business collaborations. In K. Bauknecht, M. Bichler, and B. Proll, editors, Proceedings of the 5th International Conference on Electronic Commerce and Web Technologies (EC-Web '04), volume 3182 of Lecture Notes in Computer Science, pages 79-94, Zaragoza, Spain, Aug. 2004. Springer-Verlag, Berlin.
5. H. Foster, J. Kramer, J. Magee, and S. Uchitel. Model-based verification of web service compositions. In 18th IEEE International Conference on Automated Software Engineering (ASE), 2003.
6. X. Fu, T. Bultan, and J. Su. Analysis of interacting bpcl web services. In WWW '04: Proceedings of the 13th international conference on World Wide Web, pages 621-630, New York, NY, USA, 2004. ACM Press.
7. M. Koshkina and F. van Brcugel. Modelling and verifying web service orchestration by means of the concurrency workbench. SIGSOFT Softw. Eng. Notes, 29(5):1-10, 2004.
8. R. Kowalski and M. J. Sergot. A logic-based calculus of events. New generation Computing 4(1), pages 67-95, 1986.
9. K. Mahbub and G. Spanoudakis. A framework for rcquircnts monitoring of service based systems. In ICSOC '04: Proceedings of the 2nd international conference on Service oriented computing, pages 84-93, New York, NY, USA, 2004. ACM Press.
10. K. Mahbub and G. Spanoudakis. Run-time monitoring of requirements for systems composed of web-services: Initial implementation and evaluation experience. In ICWS '05: Proceedings of the IEEE International Conference on Web Services (ICWS'05), pages 257-265, Washington, DC, USA, 2005. IEEE Computer Society.
11. A. Martens. Analysis and re-engineering of web services. In ICEIS (3), pages 419-426, 2004.
12. S. Nakajima. Verification of web service flows with model-checking techniques. In CW, pages 378-385, 2002.
13. S. Narayanan and S. A. McIlraith. Simulation, verification and automated composition of web services. In WWW '02: Proceedings of the 11th international conference on World Wide Web, pages 77-88, New York, NY, USA, 2002. ACM Press.
14. M. Pistore, M. Roveri, and P. Busetta. Requirements-driven verification of web services. Electr. Notes Theor. Comput. Sci, 105:95-108, 2004.
15. G. Pu, X. Zhao, S. Wang, and Z. Qiu. Towards the semantics and verification of bpel4ws. Electr. Notes Theor. Comput. Sci., 151(2):33-52, 2006.
16. M. Rouached, W. Gaaloul, W. M. P. van der Aalst, S. Bhiri, and C. Godart. Web service mining and verification of properties: An approach based on event calculus. In Proceedings 14th International Conference on Cooperative Information Systems (CoopIS 2006), November 2006.
17. K. Schmidt and C. Stahl. A petri net semantic for BPEL4WS validation and application. In Proceedings of the 11th Workshop on Algorithms and Tools for Petri Nets (AWPN 04) / Ekkart Kindler (Ed.), pages 1-6. Bericht tr-ri-04-251, Universitt Paderborn, Sept. 2004.
18. G. Spanoudakis, A. Zisman, and A. Kozlenkov. A service discovery framework for service centric systems. In SCC '05: Proceedings of the 2005 IEEE International Conference on Services Computing, pages 251-259, Washington, DC, USA, 2005. IEEE Computer Society.
19. C. Stahl. Transformation von BPEL4WS in Petrinetze (In German). Master's thesis, Humboldt University, Berlin, Germany, 2004.
20. S. Stratulat. A general framework to build contextual cover set induction provers. Journal of Symbolic Computation, 32(4):403-445, 2001.