Behavioural theory at work: Program transformations in a service-centred calculus

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

Volumn 5051 LNCS, Issue , 2008, Pages 59-77

  Cruz Filipe, Luís ^b   Lanese, Ivan ^a   Martins, Francisco ^b   Ravara, António ^c   Vasconcelos, Vasco T ^b  

^a UNIVERSITY OF BOLOGNA   (Italy)

^b UNIVERSITY OF LISBON   (Portugal)

^c INSTITUTO DE TELECOMUNICAÇÕES   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

DIFFERENTIATION (CALCULUS); MATHEMATICAL TECHNIQUES; SPECIFICATIONS; UNIFIED MODELING LANGUAGE; CALCULATIONS; FORMAL METHODS;

INTERNATIONAL CONFERENCES; OBJECT-ORIENTED; OPEN OBJECT-BASED DISTRIBUTED SYSTEMS; PROCESS CALCULUS; PROGRAM TRANSFORMATIONS; SERVICE-ORIENTED; UML SEQUENCE DIAGRAMS; WEAK BISIMILARITY;

FORMAL METHODS; OBJECT ORIENTED PROGRAMMING;

BASED SPECIFICATION; OBJECT ORIENTED MODELLING; PROGRAM TRANSFORMATIONS; SERVICE ORIENTED; SERVICE ORIENTED MODELING; SERVICE ORIENTED SYSTEMS; UML SEQUENCE DIAGRAMS; WEAK BISIMILARITY;

EID: 46049114910     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-68863-1_5     Document Type: Conference Paper

References (21)

1. Ambler, S.W.: The Object Primer: Agile Model-Driven Development with UML 2.0. Cambridge University Press, Cambridge (2004)
2. Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: Business Process Execution Language for Web Services, Version 1.1 (2003)
3. Boreale, M., Bruni, R., Caires, L., De Nicola, R., Lanese, I., Loreti, M., Martins, F., Montanari, U., Ravara, A., Sangiorgi, D., Vasconcelos, V.T., Zavattaro, G.: SCC: a service centered calculus. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 38-57. Springer, Heidelberg (2006)
4. Boreale, M., Bruni, R., De Nicola, R., Loreti, M.: Sessions and pipelines for structured service programming. In: FMOODS 2008. LNCS, Springer, Heidelberg (to appear, 2008)
5. Bruni, R., Lanese, I., Melgratti, H., Tuosto, E.: Multiparty sessions in SOC. In: COORDINATION 2008. LNCS, Springer, Heidelberg (to appear, 2008)
6. Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: SOCK: a calculus for service oriented computing. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol. 4294, pp. 327-338. Springer, Heidelberg (2006)
7. Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and orchestration conformance for system design. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol. 4038, pp. 63-81. Springer, Heidelberg (2006)
8. Carbone, M., Honda, K., Yoshida, N.: Structured communication-centred programming for web services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, Springer, Heidelberg (2007)
9. Christensen, E., Curbera, F., Meredith, G., Weerawarana, S.: WSDL: Web Services Definition Language. World Wide Web Consortium (2004)
10. Cruz-Filipe, L., Lanese, I., Martins, F., Vasconcelos, V.T., Ravara, A.: Bisimulations in SSCC. DI/FCUL TR 07-37, Department of Informatics, Faculty of Sciences, University of Lisbon (2007)
11. Honda, K., Vasconcelos, V.T., Kubo, M.: Language primitives and type disciplines for structured communication-based programming. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol. 1381, pp. 22-138. Springer, Heidelberg (1998)
12. Lanese, I., Martins, F., Vasconcelos, V.T., Ravara, A.: Disciplining orchestration and conversation in service-oriented computing. In: SEFM 2007, pp. 305-314. IEEE Computer Society Press, Los Alamitos (2007)
13. Lapadula, A., Pugliese, R., Tiezzi, F.: A calculus for orchestration of web services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 33-47. Springer, Heidelberg (2007)
14. Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison-Wesley, Reading (1999)
15. Sands, D.: Total correctness by local improvement in the transformation of functional programs. ACM Trans. Program. Lang. Syst. 18(2), 175-234 (1996)
16. Sangiorgi, D.: Typed π-calculus at work: a correctness proof of Jones's parallelisation transformation on concurrent objects. Theory and Practice of Object Systems 5(1), 25-34 (1999)
17. Sangiorgi, D., Walker, D.: The π-calculus: A theory of mobile processes. Cambridge University Press, Cambridge (2001)
18. Sensoria project web site, http://www.sensoria-ist.eu/
19. Takeuchi, K., Honda, K., Kubo, M.: An interaction-based language and its typing system. In: Halatsis, C., Philokyprou, G., Maritsas, D., Theodoridis, S. (eds.) PARLE 1994. LNCS, vol. 817, pp. 398-413. Springer, Heidelberg (1994)
20. Vieira, H.T., Caires, L., Seco, J.C.: The conversation calculus: A model of service oriented computation. In: ESOP 2008. LNCS, Springer, Heidelberg (to appear, 2008)
21. Wirsing, M., Clark, A., Gilmore, S., Hölzl, M.M., Knapp, A., Koch, N., Schroeder, A.: Semantic-based development of service-oriented systems. In: Najm, E., Pradat-Peyre, J.-F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol. 4229, pp. 24-45. Springer, Heidelberg (2006)