Automatically deriving choreography-conforming systems of services

SCC 2009 - 2009 IEEE International Conference on Services Computing

Volumn , Issue , 2009, Pages 9-16

  Díaz, Gregorio ^a   Rodríguez, Ismael ^b  

^a UNIVERSITY OF CASTILLA LA MANCHA   (Spain)

^b UNIVERSIDAD COMPLUTENSE DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL MODEL; SEMANTIC RELATIONS;

WEB SERVICES;

FORMAL METHODS;

EID: 74049141168     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SCC.2009.52     Document Type: Conference Paper

References (11)

1. M. Boreale, R. D. Nicola, and R. Pugliese. Trace and testing equivalence on asynchronous processes. Inf. Comput., 172(2):139-164, 2002.
2. M. Bravetti and G. Zavattaro. Towards a unifying theory for choreography conformance and contract compliance. In Software Composition, pages 34-50, 2007.
3. M. Bravetti and G. Zavattaro. Contract compliance and choreography conformance in the presence of message queues. In Proc. of 5th International workshop on Web Services and Formal Methods, WS-FM'08, LNCS (in press). Springer, 2008.
4. T. Bultan and X. Fu. Specification of realizable service conversations using collaboration diagrams. Service Oriented Computing and Applications, 2(1):27-39, 2008.
5. M. Carbone, K. Honda, and N. Yoshida. Theoretical aspects of communication-centred programming. Electr. Notes Theor. Comput. Sci., 209:125-133, 2008.
6. I. Castellani and M. Hennessy. Testing theories for asynchronous languages. In FSTTCS, pages 90-101, 1998.
7. G. Díaz and I. Rodríguez. Automatically deriving choreography-conforming systems of services: Extended version. Technical Report DIAB-09-06-2, Uni-versidad de Castilla-La Mancha, 2009.
8. K. Honda, N. Yoshida, and M. Carbone. Multiparty asynchronous session types. In POPL, pages 273-284, 2008.
9. Z. Qiu, X. Zhao, C. Cai, and H. Yang. Towards the theoretical foundation of choreography. In WWW, pages 973-982, 2007.
10. J. Tretmans. Testing concurrent systems: A formal approach. In CONCUR'99, LNCS 1664, pages 46-65. Springer, 1999.
11. W. M. P. van der Aalst, N. Lohmann, P. Massuthe, C. Stahl, and K. Wolf. From public views to private views - correctness-by-design for services. In WS-FM, pages 139-153, 2007.