Rigorous analysis of service composability by embedding WS-BPEL into the BIP component framework

Proceedings - 2012 IEEE 19th International Conference on Web Services, ICWS 2012

Volumn , Issue , 2012, Pages 319-326

  Stachtiari, Emmanouela ^a   Mentis, Anakreon ^a   Katsaros, Panagiotis ^a  

^a ARISTOTLE UNIVERSITY OF THESSALONIKI   (Greece)

Author keywords

formal analysis; service composition; WS BPEL

Indexed keywords

ABSTRACT MODELS; COMPONENT FRAMEWORK; COMPOSABILITY; COMPOSITIONAL REASONING; CONVENTIONAL MODELS; CORRECTNESS PROPERTIES; DEADLOCK FREEDOM; ESSENTIAL SERVICES; EXECUTION SEMANTICS; FORMAL ANALYSIS; LIVENESS; MODEL EXTRACTION; ORIGINAL STRUCTURES; PROOF OF CONCEPT; RIGOROUS ANALYSIS; SAFETY PROPERTY; SERVICE COMPOSITIONS; SERVICE INTERACTION; SERVICE ORCHESTRATION; SOURCE CODES; STRUCTURE PRESERVATION; STRUCTURE-PRESERVING; WS-BPEL;

QUALITY OF SERVICE; SEMANTICS; WEB SERVICES; WEBSITES;

MODEL CHECKING;

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

References (17)

1. A. Alves and A. Arkin, "Web services business process execution language version 2.0," OASIS Committee Draft, May 2006.
2. Z. Azmeh, M. Driss, F. Hamoui, M. Huchard, N. Moha, and C. Tibermacine, "Selection of composable web services driven by user requirements," in ICWS, 2011, pp. 395-402.
3. A. Basu, B. Bensalem, M. Bozga, J. Combaz, M. Jaber, T.-H. Nguyen, and J. Sifakis, "Rigorous component-based system design using the BIP framework," IEEE Software, vol. 28, pp. 41-48, 2011.
4. M. H. Beek, A. Bucchiarone, and S. Gnesi, "Formal methods for service composition," Annals of Mathematics, Computing and Teleinformatics, vol. 1, no. 5, pp. 1-14, 2007.
5. S. Bensalem, A. Griesmayer, A. Legay, T.-H. Nguyen, J. Sifakis, and R. Yan, "D-finder 2: Towards efficient correctness of incremental design," in NASA Formal Methods, ser. Lecture Notes in Computer Science. Springer Berlin / Heidelberg, 2011, vol. 6617, pp. 453-458.
6. S. Bliudze and J. Sifakis, "A notion of glue expressiveness for component-based systems," in CONCUR 2008 - Concurrency Theory, ser. Lecture Notes in Computer Science. Springer Berlin / Heidelberg, 2008, vol. 5201, pp. 508-522.
7. E. Christensen, F. Curbera, G. Meredith, and S. Weerawarana, "Web services description language (WSDL) 1.1," Mar. 2001.
8. D. Fahland, Complete Abstract Operational Semantics for the Web Service Business Process Execution Language, ser. Informatik-Berichte / Institut fur Informatik, Humboldt Universitat zu Berlin. Berlin: Inst. fur Informatik, 2005, no. 190.
9. A. Ferrara, "Web services: a process algebra approach," in ICSOC '04: Proceedings of the 2nd International Conference on Service Oriented Computing. New York, NY, USA: ACM Press, 2004, pp. 242-251.
10. C. Hofer, K. Ostermann, T. Rendel, and A. Moors, "Polymorphic embedding of DSLs," in Proceedings of the 7th international conference on Generative programming and component engineering, ser. GPCE '08, 2008, pp. 137-148.
11. P. Hudak, "Modular domain specific languages and tools," in in Proceedings of Fifth International Conference on Software Reuse. IEEE Computer Society Press, 1998, pp. 134-142.
12. A. Lapadula, R. Pugliese, and F. Tiezzi, "Using formal methods to develop WS-BPEL applications," Science of Computer Programming, vol. 77, no. 3, pp. 189-21, 2012.
13. R. Lucchi and M. Mazzara, "A pi-calculus based semantics for WS-BPEL," Journal of Logic and Algebraic Programming, vol. 70, no. 1, pp. 96-118, 2007.
14. C. Ouyang, E. Verbeek, W. M. P. van der Aalst, S. Breutel, M. Dumas, and A. H. M. ter Hofstede, "Formal semantics and analysis of control flow in WS-BPEL," Sci. Comput. Program., vol. 67, no. 2-3, pp. 162-198, 2007.
15. M. Phalippou, "Executable testers," in Protocol Test Systems, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems, Pau, France, 1993, pp. 35-50.
16. C. Stahl, "A petri net semantics for BPEL," Humboldt-Universität zu Berlin, Informatik-Berichte 188, Jul. 2005.
17. S. Tasharofi, M. Vakilian, R. Z. Moghaddam, and M. Sirjani, "Modeling web service interactions using the coordination language reo." in WS-FM. Springer, 2007, pp. 108-123.