Reasoning about a service-oriented programming paradigm

Electronic Proceedings in Theoretical Computer Science, EPTCS

Volumn 2, Issue , 2009, Pages 67-81

  Guidi, Claudio ^a   Montesi, Fabrizio ^b  

^a UNIVERSITY OF BOLOGNA   (Italy)

^b ItalianaSoftware Srl   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; PROGRAM INTERPRETERS;

CONCEPT PAPERS; DISTRIBUTED APPLICATIONS; LANGUAGE INTERPRETERS; PROGRAMMING PARADIGMS; SERVICE ORIENTED; SERVICE ORIENTED PROGRAMMING;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 79952027855     PISSN: 20752180     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4204/EPTCS.2.6     Document Type: Conference Paper

References (36)

1. Active Endpoint: ActiveVOS. http://www.activevos.com/.
2. Apache software foundation: Apache. http://www.apache.org/.
3. M. Baldoni, C. Baroglio, A. Martelli, V. Patti & C. Schifanella (2005): Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step. In: EPEW/WS-FM, Lecture Notes in Computer Science 3670. Springer-Verlag, pp. 257-271.
4. A. Barros & E. Borger (2005): A Compositional Framework for Service Interaction Patterns and Interaction Flows. In: Proc. of International conference on formal engineering methods (ICFM'05), LNCS. Springer Verlag, pp. 5-35.
5. A. Barros, M. Dumas & A.H.M. ter Hofstede (2005): Service Interaction Patterns: Towards a Reference Framework for Service-Based Business Process Interconnection. Technical Report FIT-TR-2005-02, Faculty of information Technology, Queensland University of Technology, Brisbane, Australia.
6. M. Boreale, R. Bruni, L. Caires, R. De Nicola, I. Lanese, M. Loreti, F. Martins, U. Montanari, A. Ravara, D. Sangiorgi, V. Vasconcelos & G. Zavattaro (2006): SCC: A Service Centered Calculus. In: Proc. of Web Services and Formal MethodsWorkshop (WS-FM'06), LNCS 4184. Springer-Verlag, pp. 38-56.
7. M. Bravetti & G. Zavattaro (2007): Towards a Unifying Theory for ChoreographyConformance and Contract Compliance. In: 6th International Symposium on Software Composition (SC'07), LNCS. pp. 34-50.
8. R. Bruni, H. Melgratti & U. Montanari (2005): Theoretical foundations for compensations in flow composition languages. In: Proc. of POPL'05. ACM Press, pp. 209-220.
9. N. Busi, R. Gorrieri, C. Guidi, R. Lucchi & G. Zavattaro (2005): Towards a formal framework for Choreography. In: Proc. of 3rd International Workshop on Distributed and Mobile Collaboration (DMC'05). IEEE Computer Society Press, pp. 107-112.
10. N. Busi, R. Gorrieri, C. Guidi, R. Lucchi & G. Zavattaro (2006): Choreography and Orchestration conformance for system design. In: Proc. of 8th International Conference on Coordination Models and Languages (COORDINATION'06), LNCS 4038. pp. 63-81.
11. M.J. Butler & C. Ferreira (2004): An Operational Semantics for StAC, a Language for Modelling Long- Running Business Transactions. In: Proc. of COORDINATION'04, Lecture Notes in Computer Science 2949. springer, pp. 87-104.
12. M. Carbone, K. Honda & N. Yoshida (2007): Structured Communication-Centred Programming for Web Services. In: Proc. of ESOP'07, Lecture Notes in Computer Science 4421. Springer-Verlag, pp. 2-17.
13. C. Guidi (2007): Formalizing languages for Service Oriented Computing. PhD. thesis, Department of Computer Science, University of Bologna. http://www.cs.unibo.it/pub/TR/UBLCS/2007/2007-07.pdf.
14. C. Guidi, I. Lanese, F. Montesi & G. Zavattaro (2008): On the interplay between fault handling and requestresponse service invocations. In: Proc. of ACSD'08. IEEE Press, pp. 190-199.
15. C. Guidi & R. Lucchi (2008): Programming service oriented applications. Technical Report UBLCS-2008-11, Department of Computer Science, University of Bologna. http://www.cs.unibo.it/pub/TR/UBLCS/ 2008/2008-11.pdf.
16. C. Guidi, R. Lucchi, R. Gorrieri, N. Busi & G. Zavattaro (2006): SOCK: A Calculus for Service Oriented Computing. In: Proceedings of the 4th International Conference on Service-Oriented Computing (ICSOC'06), Chicago, IL, USA, LNCS 4294. pp. 327-338.
17. Jolie-Java Orchestration Language Interpreter Engine: http://www.jolie-lang.org.
18. D. Kristol & L. Montulli: HTTP State Management Mechanism. http://www.w3.org/Protocols/ rfc2109/rfc2109.
19. I. Lanese, C. Guidi, F. Montesi & G. Zavattaro (2008): Bridging the Gap between Interaction- and Process- Oriented Choreographies. In: 6th IEEE International Conferences on Software Engineering and Formal Methods (SEFM'08). IEEE Computer Society. To appear.
20. A. Lapadula, R. Pugliese & F. Tiezzi (2006): A WSDL-Based Type System for WS-BPEL. In: Springer- Verlag, editor: Proc. of 8th International Conference on Coordination Models and Languages (COORDINATION' 06), LNCS 4038. pp. 145-163.
21. Microsoft: Internet Information Services. http://www.microsoft.com/windowsserver2008/en/us/ internet-information-services.aspx.
22. R. Milner (1989): Communication and Concurrency. Prentice Hall.
23. R. Milner, J. Parrow & J. Walker (1992): A Calculus of Mobile Processes, I and II. Information and Computation 100(1), pp. 1-40, 41-77.
24. F. Montesi, C. Guidi, I. Lanese & G. Zavattaro: Dynamic fault handling mechanisms for service oriented applications. In: Proc. of 6th IEEE European Conference on Web Services (ECOWS'08). IEEE Computer Society.
25. F. Montesi, C. Guidi, R. Lucchi & G. Zavattaro (2007): JOLIE: a Java Orchestration Language Interpreter Engine. Electr. Notes Theor. Comput. Sci. 181, pp. 19-33.
26. OASIS:Web Services Business Process Execution Language Version 2.0. http://docs.oasis-open.org/ wsbpel/.
27. Oracle: Oracle BPEL Process Manager. http://www.oracle.com/technology/products/ias/bpel/ index.html.
28. Software Engineering for Service-Oriented Overlay Computers. http://www.sensoria-ist.eu/.
29. M. Viroli (2004): Towards a Formal Foundation to Orchestration Languages. In: M. Bravetti & G. Zavattaro, editors: Proc. of 1st International Workshop on Web Services and Formal Methods (WS-FM'04), Electr. Notes Theor. Comput. Sci. 105.
30. W3C: OWL-S: Semantic Markup for Web Services. http://www.w3.org/Submission/OWL-S/.
31. W3C: Web Services Choreography Description Language Version 1.0. http://www.w3.org/TR/2004/ WD-ws-cdl-10-20040427/.
32. W3C: Web Services Description Language (WSDL) 1.1. http://www.w3.org/TR/wsdl.
33. W3C: Web Services Description Language (WSDL) Version 2.0 Part 1: Core Language. http://www.w3. org/TR/wsdl20/.
34. W3C Recommendation 9 May 2006: Web Services Addressing, Core 1.0. http://www.w3.org/TR/ ws-addr-core/.
35. Web Services Glossary: http://www.w3.org/TR/ws-gloss/.
36. Zope: http://www.zope.org/.