Modeling web service interactions using the coordination language reo

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

Volumn 4937 LNCS, Issue , 2008, Pages 108-123

  Tasharofi, Samira ^a,b   Vakilian, Mohsen ^a   Zilouchian Moghaddam, Roshanak ^a   Sirjani, Marjan ^a,b  

^a UNIVERSITY OF TEHRAN   (Iran)

^b INSTITUTE FOR STUDIES IN THEORETICAL PHYSICS AND MATHEMATICS IPM   (Iran)

Author keywords

Compositional Semantics; Constraint Automata; Reo; Web Services; WS BPEL

Indexed keywords

AUTOMATA THEORY; COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; SEMANTICS; WEB SERVICES;

COMPOSITIONAL SEMANTICS; CONSTRAINT AUTOMATA; REO; WS-BPEL;

INTERACTIVE COMPUTER SYSTEMS;

EID: 43149113485     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-79230-7_8     Document Type: Conference Paper

References (25)

1. Jordan, D., Evdemon, J.: Web services business process execution language version 2.0. Technical report, OASIS (2006)
2. Fahland, D.: Complete abstract operational semantics for the web service business process execution language. Technical Report 190, Humboldt University, Berlin (2005)
3. Hinz, S., Schmidt, K., Stahl, C.: Transforming BPEL to Petri Nets. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 220-235. Springer, Heidelberg (2005)
4. Ferrara, A.: Web services: a process algebra approach. In: Proceedings of 2nd International Conference on Service Oriented Computing, pp. 242-251. ACM Press, New York (2004)
5. Farahbod, R., Classer, U., Vajihollahi, M.: Specification and validation of the business process execution language for web services. In: Zimmermann, W., Thalheim, B. (eds.) ASM 2004. LNCS, vol. 3052, pp. 78-94. Springer, Heidelberg (2004)
6. Diakov, N., Arbab, F.: Compositional construction of web sendees using Reo. In: WSMAI, pp. 49-58 (2004)
7. Lemniotes, T., Papadopoulos, G.A., Arbab, F.: Coordinating web services using channel based communication. In: 28th Annual International Computer Software and Applications Conference (COMPSAC 2004), pp. 486-491 (2004)
8. Meng, S., Arbab, F.: Web services choreography and orchestration in Reo and constraint automata. In: Proceedings of 22nd Annual ACM Symposium on Applied Computing(SAC 2007) (2007)
9. Arbab, F.: Reo: A channel-based coordination model for component composition. Mathematical Structures in Computer Science 14(3), 329-366 (2004)
10. Baier, C., Sirjani, M., Arbab, F., Rutten, J.: Modeling component connectors in Reo by constraint automata. Science of Computer Programming 61(2), 75-113 (2006)
11. Arbab, F., Rutten, J.: A coinductive calculus of component connectors. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2003. LNCS, vol. 2755, pp. 35-56. Springer, Heidelberg (2003)
12. Mahdikhani, F.: BPEL to Reo tool (2007), http://ece.ut.ac.ir/msirjani/ B2ReoTool/B2R.jar
13. Klüppelholz, S., Baier, C.: Symbolic model checking for channel-based component connectors. In: FOCLASA 2006 (2006)
14. Pourvatan, B., Rouhy, N.: An alternative algorithm for constraint automata product. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol. 4767, pp. 409-419. Springer, Heidelberg (2007)
15. Clarke, D.: A basic logic for reasoning about connector reconfiguration. Fundamenta Informaticae (accepted, 2007)
16. Fu, X., Bultan, T., Su, J.: Analysis of interacting BPEL web services. In: 13th Int. Conf. World Wide Web (WWW 2004), pp. 621-630. ACM Press, New York (2004)
17. Holzmann, G.: The SPIN Model Checker. Addison-Wesley, Reading (2003)
18. Borger, E., Stark, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)
19. Fahland, D., Reisig, W.: ASM-based semantics for BPEL: The negative control now. In: Proceedings of 12th International Workshop on Abstract State Machines, Paris, pp. 78-94. Springer, Heidelberg (2005)
20. Schmidt, K., Stahl, C.: A Petri Net semantic for BPEL4WS - validation and application. In: Proceedings of 11th Workshop on Algorithms and Tools for Petri Nets (2004)
21. Ouyang, C., van der Aalst, W., Breutel, S., Dumas, M., ter Hofstede, A., Verbeek, H.: Formal semantics and analysis of control flow in WS-BPEL. Technical Report BPM-05-15, BPM Center (2005)
22. Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, parts i and ii. Information and Computation 100(1), 1-77 (1992)
23. Koshkina, M.: Verification of business processes for web services. Master thesis, York University (2003)
24. Brogi, A., Popescu, R.: From BPEL processes to YAWL workflows. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 107-122. Springer, Heidelberg (2006)
25. Diakov, N., Arbab, F.: Software adaptation in integrated tool frameworks for composite services. In: Proceedings of The Third International Workshop on Coordination and Adaptation of Software Entities(WCAT 2006), Nantes, France, pp. 9-14 (2006)