Automatic code generation for the orchestration of web services with Reo

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7592 LNCS, Issue , 2012, Pages 1-16

  Jongmans, Sung Shik T Q ^a   Santini, Francesco ^a   Sargolzaei, Mahdi ^b   Arbab, Farhad ^a   Afsarmanesh, Hamideh ^b  

^a CWI   (Netherlands)

^b UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC CODE GENERATIONS; BEHAVIORAL DESCRIPTIONS; COMPONENT TECHNOLOGIES; CONSTRAINT AUTOMATA; COORDINATION LANGUAGE; JAVA CODES; SERVICE ORIENTED; WSDL INTERFACES;

CLOUD COMPUTING; WEB SERVICES;

WEBSITES;

EID: 84866052622     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-33427-6_1     Document Type: Conference Paper

References (21)

1. Arbab, F.: Reo: a channel-based coordination model for component composition. MSCS 14(3), 329-366 (2004)
2. Baier, C., Sirjani, M., Arbab, F., Rutten, J.: Modeling component connectors in Reo by constraint automata. SCP 61(2), 75-113 (2006)
3. Boreale, M., Bruni, R., De Nicola, R., Loreti, M.: Sessions and Pipelines for Structured Service Programming. In: Barthe, G., de Boer, F.S. (eds.) FMOODS 2008. LNCS, vol. 5051, pp. 19-38. Springer, Heidelberg (2008)
4. Cesari, L., Pugliese, R., Tiezzi, F.: A tool for rapid development of ws-bpel applications. SIGAPP Appl. Comput. Rev. 11(1), 27-40 (2010)
5. Changizi, B., Kokash, N., Arbab, F.: A Unified Toolset for Business Process Model Formalization. In: Proceedings of FESCA 2010 (2010)
6. Decker, G., Kopp, O., Leymann, F., Pfitzner, K., Weske, M.: Modeling Service Choreographies Using BPMN and BPEL4Chor. In: Bellahsène, Z., Léonard, M. (eds.) CAiSE 2008. LNCS, vol. 5074, pp. 79-93. Springer, Heidelberg (2008)
7. Hull, R., Benedikt, M., Christophides, V., Su, J.: E-services: a look behind the curtain. In: PODS, pp. 1-14. ACM (2003)
8. Jayasinghe, D., Azeez, A.: Apache Axis2 Web Services. Packt Publishing (2011)
9. Jongmans, S.S., Arbab, F.: Overview of Thirty Semantic Formalisms for Reo. SACS 22(1), 201-251 (2012)
10. Kokash, N., Krause, C., de Vink, E.: Reo+mCRL2: A framework for model-checking dataflow in service compositions. FAC 24(2), 187-216 (2012)
11. Meng, S., Arbab, F.: Web Services Choreography and Orchestration in Reo and Constraint Automata. In: Proceedings of SAC 2007, pp. 346-353 (2007)
12. Meng, S., Arbab, F.: QoS-Driven Service Selection and Composition Using Quantitative Constraint Automata. FI 95(1), 103-128 (2009)
13. Meng, S., Arbab, F.: A Model for Web Service Coordination in Long-Running Transactions. In: Proceedings of SOSE 2010, pp. 121-128 (2010)
14. Montesi, F., Guidi, C., Lucchi, R., Zavattaro, G.: JOLIE: a Java Orchestration Language Interpreter Engine. ENTCS 181, 19-33 (2007)
15. Web services business process execution language (2007), http://docs.oasis-open.org/wsbpel/2.0/
16. Peltz, C.: Web Services Orchestration and Choreography. IEEE Computer 36(10), 46-52 (2003)
17. Simple Object Access Protocol (2000), http://www.w3.org/2000/xp/Group/
18. Web Service Description Language (2001), http://www.w3.org/TR/wsdl
19. Web Service Choreography Interface (2002), http://www.w3.org/TR/wsci/
20. Web Services Choreography Description Language (2005), http://www.w3.org/TR/ws-cdl-10/
21. Zhang, J., Chung, J.-Y., Chang, C., Kim, S.: WS-Net: A Petri-net Based Specification Model for Web Services. In: Proceedings of ICWS 2004, pp. 420-427 (2004)