A barred operational semantics for a subset of WS-CDL with time restrictions

Journal of Logic and Algebraic Programming

Volumn 78, Issue 8, 2009, Pages 730-748

  Valero, Valentín ^a   Díaz, Gregorio ^a   Cambronero, María Emilia ^a   Macià, Hermenegilda ^a  

^a UNIVERSITY OF CASTILLA LA MANCHA   (Spain)

Author keywords

Choreography; Operational semantics; Timed interactions; Web Service composition; Web Services

Indexed keywords

CHOREOGRAPHY; DESCRIPTION LANGUAGES; OPERATIONAL SEMANTICS; PEER-TO-PEER COLLABORATION; TIME RESTRICTION; TIMED INTERACTIONS; VALUE ADDED SERVICE; WEB SERVICE COMPOSITION; WEB SERVICES COMPOSITION;

SEMANTICS;

WEB SERVICES;

EID: 70349440823     PISSN: 15678326     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.jlap.2009.07.001     Document Type: Article

References (26)

1. Alonso G., Casati F., Kuno H., and Machiraju V. Web Services (2002), Springer-Verlag
2. T. Andrews et al., BPEL4WS - Business Process Execution Language for Web Services. Version 1.1. May 2003. .
3. Baeten J.C.M., and Middelburg C.A. Process Algebra with Timing. EATCS Monographs Series (2002), Springer-Verlag
4. Best E., Devillers R., and Koutny M. Petri Net Algebra. EATCS (2001), Springer
5. Bravetti M., and Zavattaro G. Service oriented computing from a process algebraic perspective. J. Logic Algebraic Program. 70 1 (2007) 3-14
6. A. Brogi, C. Canal, E. Pimentel, A. Vallecillo, Formalizing web service choreography, in: WS-FM'04. Electronic Notes in Theoretical Computer Science, vol. 105, 2004, pp. 73-94.
7. N. Busi, R. Gorrieri, C. Guidi, R. Lucchi, G. Zavattaro, Choreography and orchestration: a synergic approach for system design, Third International Conference of Service Oriented Computing, Lecture Notes in Computer Science, vol. 3826, 2005, pp. 228-240.
8. N. Busi, R. Gorrieri, C. Guidi, R. Lucchi, G. Zavattaro, Choreography and orchestration conformance for system design, in: Eighth Int. Conference on Coordination Models and Languages. Lecture Notes in Computer Science, vol. 4038, 2006, pp. 63-81.
9. Carbone M., Honda K., and Yoshida N. Calculus of global interaction based on session types. Electron. Notes Theoret. Comput. Sci. 171 3 (2007) 127-151
10. Carbone M., Honda K., and Yoshida N. A theoretical basis of communication-centred concurrent programming. Electron. Notes Theoret. Comput. Sci. 209 (2008) 125-133
11. G. Díaz, J.J. Pardo, M.E. Cambronero, V. Valero, F. Cuartero, Automatic translation of WS-CDL choreographies to timed automata, in: Proceedings Second International Workshop on Web Services and Formal Methods, WS-FM'05, Lecture Notes in Computer Science, vol. 3670, 2005, pp. 230-242.
12. R. Hamadi, B. Benatallah, A Petri net-based model for web service composition, in: Proceedings of the 14th Australasian Database Conference, vol. 17, 2003, pp. 191-200.
13. Lapadula A., Pugliese R., and Tiezzi F. Calculus for orchestration of web services. Lect. Notes Comput. Sci. 4421 (2007) 33-47
14. Lucchi R., and Mazzara M. A pi-calculus based semantics for WS-BPEL. Web Services and Formal Methods, J. Logic Algebraic Program. 70 1 (2007) 96-118
15. M. Mazzara, Timing Issues in Web Services Composition, EPEW2005 and WS-FM 2005, Lecture Notes in Computer Science, vol. 3670, 2005, pp. 287-302.
16. Milner R. Communication and Concurrency (1989), Prentice-Hall
17. Milner R., Parrow J., and Walker D. A Calculus of mobile processes, part I and II. Inform. Comput. 100 1 (1992) 1-40 41-77
18. Z. Qiu, X. Zhao, C. Cai, H. Yang, Towards the theoretical foundation of choreography, in: Proceedings of the 16th International Conference on World Wide Web, WWW 2007, 2007, pp. 973-982.
19. G. Salaun, L. Bordeaux, M. Schaerf, Describing and reasoning on web services using process algebra, in: Second International Conference on Web Services, IEEE Computer Society Press, 2004.
20. V. Valero, M.E. Cambronero, G. Díaz, H. Macià, A Petri net approach for the design and analysis of web services choreographies, J. Logic Algebraic Program., in press.
21. World Wide Web Consortium (W3C). .
22. Web Services Choreography Description Language Version 1.0 (WS-CDL). .
23. Web Service Choreography Interface (WSCI) 1.0, 2002. .
24. H. Yang, X. Zhao, Z. Qiu, G. Pu, S. Wang, A formal model for web service choreography description language (WS-CDL), in: International Conference on Web Services (ICWS'06), IEEE Computer Society Press, 2006, pp. 893-894.
25. W.L. Yeung. Mapping WS-CDL and BPEL into CSP for behavioural specification and verification of web services, in: Proceedings of 4th IEEE European Conference on Web Services 2006 (ECOWS'06), IEEE Computer Society, 2006, pp. 297-305.
26. Q. Zongyan, Z. Xiangpeng, C. Chao, Y. Hongli, Towards the theoretical foundation of choreography, in: Proceedings of the 16th International World Wide Web Conference, ACM, 2007, pp. 973-982.