Disciplining orchestration and conversation in service-oriented computing

Proceedings - 5th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2007

Volumn , Issue , 2007, Pages 305-314

  Lanese, Ivan ^a   Martins, Francisco ^b   Vasconcelos, Vasco T ^b   Ravara, António ^c  

^a UNIVERSITY OF BOLOGNA   (Italy)

^b UNIVERSITY OF LISBON   (Portugal)

^c INSTITUTO DE TELECOMUNICAÇÕES   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; DIFFERENTIATION (CALCULUS); INFORMATION THEORY; MATHEMATICAL TECHNIQUES; SERVERS; SOFTWARE ENGINEERING; STATIC ANALYSIS; TECHNOLOGY;

BISIMILARITY; INTERNATIONAL CONFERENCES; SERVICE COMPOSITIONS; SERVICE-BASED SYSTEMS; SERVICE-ORIENTED COMPUTING; STRUCTURING MECHANISMS; TRANSITION SEMANTICS; TYPE SYSTEMS;

FORMAL METHODS;

EID: 45849148094     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEFM.2007.13     Document Type: Conference Paper

References (22)

1. G. Alonso, F. Casad, H. Kuno, and V. Machiraju. Web Services-Concepts, Architectures and Applications. Springer, 2003.
2. T. Andrews et al. Business Process Execution Languagefor Web Services. Version 1.1, 2003.
3. T. Bellwood et al. UDDI Version 3.0, 2002.
4. M. Boreale et al. SCC: a service centered calculus. In Proceedings of WS-FM 2006, volume 4184 of LNCS, pages 38-57. Springer, 2006.
5. N. Busi, R. Gorrieri, C. Guidi, R. Lucchi, and G. Zavattaro. Sock: a calculus for service oriented computing. In Proceedings of ICSOC'06, volume 4294 of LNCS, pages 327-338. Springer, 2006.
6. M. Carbone, K. Honda, N. Yoshida, and R. Milner. Structured communication-centred programming for web services. In Proceedings of ESOP'07, LNCS. Springer, 2007.
7. E. Christensen, F. Curbera, G. Meredith, and S. Weerawarana. WSDL: Web Services Definition Language. World Wide Web Consortium, 2004.
8. W. R. Cook, S. Patwardhan, and J. Misra. Workflow patterns in ore. In Proceedings of Coordination'06, volume 4038 of LNCS, pages 82-96. Springer, 2006.
9. FET-GC2 Workprogramme text, http://www.cordis.lu/ist/fet/gc.htm.
10. S. J. Gay and M. J. Hole. Subtyping for session types in the pi calculus. Acta Informatica, 42(2-3): 191-225, 2005.
11. M. Gudgin, M. Hadley, N. Mendelsohn, J.-J. Moreau, and H. F. Nielsen. Simple Object Access Protocol (SOAP) 1.2. World Wide Web Consortium, 2003.
12. K. Honda, V. T. Vasconcelos, and M. Kubo. Language primitives and type disciplines for structured communication-based programming. In Proceedings of ESOP'98, volume 1381 of LNCS, pages 22-138. Springer, 1998.
13. D. Kitchin, W. R. Cook, and J. Misra. A language for task orchestration and its semantic properties. In Proceedings of Concur'06, pages 477-491, 2006.
14. I. Lanese, V. T. Vasconcelos, F. Martins, and A. Ravara. Disciplining orchestration and conversation in service-oriented computing. DI/FCUL TR 07-3, Department of Informatics, Faculty of Sciences, University of Lisbon, Mar. 2007.
15. A. Lapadula, R. Pugliese, and F. Tiezzi. A calculus for orchestration of web services. In Proceedings of ESOP'07, LNCS. Springer, 2007.
16. J. Misra and W. R. Cook. Computation orchestration: A basis for wide-area computing. Journal of Software and Systems Modeling, 2006. To appear.
17. B. C. Pierce. Types and Programming Languages. MIT Press, 2002.
18. B. C. Pierce and D. N. Turner. Concurrent objects in a process calculus. In Proceedings of TPPP'94, volume 907 of LNCS, pages 187-215. Springer, 1995.
19. K. Takeuchi, K. Honda, and M. Kubo. An interaction-based language and its typing system. In Proceedings of PARLE'94, volume 817 of LNCS, pages 398-413. Springer, 1994.
20. W. van der Aalst, B. Hofstede, and A. Kiepuszewski. Advanced workflow patterns. In Proceedings of CoopIS'00, volume 1901 of LNCS, pages 18-29. Springer, 2000.
21. V. T. Vasconcelos, S. Gay, and A. Ravara. Typechecking a multithreaded functional language with session types. Theor. Comput. Sci., 368(1-2):64-87, 2006.
22. N. Yoshida and V. T. Vasconcelos. Language primitives and type discipline for structured communication-based programming revisited: Two systems for higher-order session communication. In Proceedings of IWSRT'06, ENTCS, 2006.