Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM

Electronic Notes in Theoretical Computer Science

Volumn 229, Issue 2, 2009, Pages 155-174

  Tasharofi, Samira ^a,b   Sirjani, Marjan ^a,b  

^a UNIVERSITY OF TEHRAN   (Iran)

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

Author keywords

Choreography; Conformance; Constraint Automata with State Memory; Orchestration; Reo; Web services; WS CDL

Indexed keywords

CHOREOGRAPHY; CONFORMANCE; CONSTRAINT AUTOMATA WITH STATE MEMORY; ORCHESTRATION; REO; WS-CDL;

FORMAL LANGUAGES; LINGUISTICS; QUERY LANGUAGES; ROBOTS; SOFTWARE ARCHITECTURE; TRANSLATION (LANGUAGES); WEB SERVICES;

AUTOMATA THEORY;

EID: 67649996417     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2009.06.034     Document Type: Article

References (30)

1. Business Process Modeling Language BPML. http://www.bpmi.org
2. Web services choreography requirements, W3C Working Draft (2004)
3. Web services choreography description language version 1.0. W3C Candidate Recommendation (2005). http://www.w3.org/TR/ws-cdl-10/
4. Web services choreography description language: Primer, W3C Working Draft (2006)
5. Arbab F. Reo: A channel-based coordination model for component composition. Mathematical Structures in Computer Science 14 (2004) 329-366
6. Arbab, F., Constraint automata with state memory, Unpublished notes (2007), CWI
7. Arbab F., and Rutten J. A coinductive calculus of component connectors. In: Wirsing M., Pattinson D., and Hennicker R. (Eds). Recent Trends in Algebraic Development Techniques, Proceedings of 16th International Workshop on Algebraic Development Techniques. (WADT 2002). Lecture Notes in Computer Science 2755 (2003) 35-56. http://www.cwi.nl/ftp/CWIreports/SEN/SEN-R0216.pdf
8. Baier C., Sirjani M., Arbab F., and Rutten J. Modeling component connectors in Reo by constraint automata. Science of Computer Programming 61 (2006) 75-113
9. Baldoni, M., C. Baroglio, A. Martelli, V. Patti and C. Schifanella, Verifying the conformance of web services to global interaction protocols: A first step, in: Bravetti et al. [12], pp. 257-271
10. Barros, A., M. Dumas and P. Oaks, A critical overview of web service choreography description language (WS-CDL) (2005), BPTrends
11. Bhuiyan, J., S. Nepal and J. Zic, Checking conformance between business processes and web service contract in service oriented applications, in: ASWEC '06: Proceedings of the Australian Software Engineering Conference (2006), pp. 80-89
12. In: Bravetti M., Kloul L., and Zavattaro G. (Eds). Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings. Lecture Notes in Computer Science 3670 (2005), Springer
13. Bravetti M., and Zavattaro G. Towards a unifying theory for choreography conformance and contract compliance. Proceeding of Software Composition 2007. LNCS 4829 (2007) 34-50
14. Busi N., Gorrieri R., Guidi C., Lucchi R., and Zavattaro G. Choreography and orchestration: A synergic approach for system design. In: Benatallah B., Casati F., and Traverso P. (Eds). ICSOC. Lecture Notes in Computer Science 3826 (2005) 228-240
15. Busi, N., R. Gorrieri, C. Guidi, R. Lucchi and G. Zavattaro, Towards a formal framework for choreography, in: WETICE '05: Proceedings of the 14th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprise (2005), pp. 107-112
16. Busi N., Gorrieri R., Guidi C., Lucchi R., and Zavattaro G. Choreography and orchestration conformance for system design. In: Ciancarini P., and Wiklicky H. (Eds). COORDINATION. Lecture Notes in Computer Science 4038 (2006) 63-81
17. Chesani, F., P. Mello, M. Montali, M. Alberti, M. Gavanelli, E. Lamma and S. Storari, Abduction for specifying and verifying web service and choreographies, in: 4th International Workshop on AI for Service Composition, Trento, Italy, 2006
18. Diakov, N. and F. Arbab, Compositional construction of web services using Reo, in: Proceedings of International Workshop on Web Services: Modeling, Architecture and Infrastructure, 2004, pp. 49-58
19. Dijkman R., and Dumas M. Service-oriented design: A multi-viewpoint approach. International Journal of Cooperative Information Systems 13 (2004) 337-378
20. Fu X., Bultan T., and Su J. Conversation protocols: a formalism for specification and verification of reactive electronic services. Theor. Comput. Sci. 328 (2004) 19-37
21. Gorrieri, R., C. Guidi and R. Lucchi, Reasoning about interaction patterns in choreography, in: Bravetti et al. [12], pp. 333-348
22. Jordan, D. and J. Evdemon, Web Services Business Process Execution Language Version 2.0 (2006)
23. Klüppelholz, S. and C. Baier, Symbolic model checking for channel-based component connectors, in: FOCLASA'06, 2006
24. Li, J., J. He, H. Zhu and G. Pu, Modeling and verifying web services choreography using process algebra, in: Software Engineering Workshop, 2007. SEW 2007. 31st IEEE, 2007, pp. 256-268
25. Li, J., H. Zhu and G. Pu, Conformance validation between choreography and orchestration, in: TASE '07: Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (2007), pp. 473-482
26. Mahdikhani F. BPEL to Reo tool (2007). http://ece.ut.ac.ir/msirjani/B2ReoTool/B2R.jar
27. Meng, S. and F. Arbab, Web services choreography and orchestration in Reo and constraint automata, in: Proceedings of 22nd Annual ACM Symposium on Applied Computing(SAC'07), 2007
28. Tasharofi S., Vakilian M., Zilouchian R., and Sirjani M. Modeling web service interactions using the coordination language Reo. Proceeding of 4th International Workshop on Web Services and Formal Methods. (WS-FM 2007). LNCS 4937 (2008) 108-123
29. Yang, H., X. Zhao, Z. Qiu, G. Pu and S. Wang, A formal model for web service choreography description language (ws-cdl), in: ICWS '06: Proceedings of the IEEE International Conference on Web Services (2006), pp. 893-894
30. Zhao X., Yang H., and Qiu Z. Towards the formal model and verification of web service choreography description language. In: Bravetti M., Núñez M., and Zavattaro G. (Eds). WS-FM. Lecture Notes in Computer Science 4184 (2006) 273-287