References

  1. 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): A Service Centered Calculus. In: M. Bravetti, M. Núñez & G. Zavattaro: Web Services and Formal Methods, Lecture Notes in Computer Science 4184. Springer Berlin / Heidelberg, pp. 38–57, doi:10.1007/11841197_3.
  2. M. Boreale, R. Bruni, R. De Nicola & M. Loreti (2008): Sessions and Pipelines for Structured Service Programming. In: G. Barthe & F. de Boer: Formal Methods for Open Object-Based Distributed Systems, LNCS 5051. Springer Berlin / Heidelberg, pp. 19–38, doi:10.1007/978-3-540-68863-1_3.
  3. R. Bruni, I. Lanese, H. Melgratti & E. Tuosto (2008): Multiparty Sessions in SOC. In: D. Lea & G. Zavattaro: Coordination Models and Languages, Lecture Notes in Computer Science 5052. Springer Berlin / Heidelberg, pp. 67–82, doi:10.1007/978-3-540-68265-3_5.
  4. L. Cardelli & J. Mitchell (1990): Operations on records. In: M. Main, A. Melton, M. Mislove & D. Schmidt: Mathematical Foundations of Programming Semantics, Lecture Notes in Computer Science 442. Springer Berlin / Heidelberg, pp. 22–52, doi:10.1007/BFb0040253.
  5. R. Chinnici, J-J. Moreau, A. Ryman & S. Weerawarana (2007): Web Service Definition Language (WSDL) Version 2.0. Technical Report. Available at http://www.w3.org/TR/wsdl20.
  6. A. Fantechi & E. Najm (2008): Session Types for Orchestration Charts. In: D. Lea & G. Zavattaro: Coordination Models and Languages, Lecture Notes in Computer Science 5052. Springer Berlin / Heidelberg, pp. 117–134, doi:10.1007/978-3-540-68265-3_8.
  7. J. Fernandez, H. Garavel, A. Kerbrat, L. Mounier, R. Mateescu & M. Sighireanu (1996): CADP a protocol validation and verification toolbox. In: R. Alur & T. Henzinger: Computer Aided Verification, Lecture Notes in Computer Science 1102. Springer Berlin / Heidelberg, pp. 437–440, doi:10.1007/3-540-61474-5_97.
  8. J. Groote & J. van de Pol (2000): State Space Reduction Using Partial τ-Confluence. In: M. Nielsen & B. Rovan: Mathematical Foundations of Computer Science 2000, Lecture Notes in Computer Science 1893. Springer Berlin / Heidelberg, pp. 383–393, doi:10.1007/3-540-44612-5_34.
  9. K. Honda, N. Yoshida & M. Carbone (2008): Multiparty asynchronous session types. SIGPLAN Not. 43, pp. 273–284, doi:10.1145/1328897.1328472.
  10. D. Kitchin, A. Quark, W. Cook & J. Misra (2009): The Orc Programming Language. In: D. Lee, A. Lopes & A. Poetzsch-Heffter: Formal Techniques for Distributed Systems, Lecture Notes in Computer Science 5522. Springer Berlin / Heidelberg, pp. 1–25, doi:10.1007/978-3-642-02138-1_1.
  11. O. Kopp, R. Khalaf & F. Leymann (2008): Deriving Explicit Data Links in WS-BPEL Processes. In: IEEE International Conference on Services Computing, 2008. SCC '08. 2, pp. 367 –376, doi:10.1109/SCC.2008.122.
  12. A. Lapadula, R. Pugliese & F. Tiezzi (2007): A Calculus for Orchestration of Web Services. In: R. De Nicola: Programming Languages and Systems, Lecture Notes in Computer Science 4421. Springer Berlin / Heidelberg, pp. 33–47, doi:10.1007/978-3-540-71316-6_4.
  13. A. Lapadula, R. Pugliese & F. Tiezzi (2011): A WSDL-based type system for asynchronous WS-BPEL processes. Formal Methods in System Design 38(2), pp. 119–157, doi:10.1007/s10703-010-0110-0.
  14. A. Lapadula, R. Pugliese & F. Tiezzi (2012): Using formal methods to develop WS-BPEL applications. Sci. Comput. Program. 77(3), pp. 189–213, doi:10.1016/j.scico.2011.03.002.
  15. A. Martens (2005): Analyzing Web Service Based Business Processes. In: M. Cerioli: Fundamental Approaches to Software Engineering, Lecture Notes in Computer Science 3442. Springer Berlin / Heidelberg, pp. 19–33, doi:10.1007/978-3-540-31984-9_3.
  16. D. Mostrous & V. Vasconcelos (2011): Session Typing for a Featherweight Erlang. In: W. De Meuter & G-C. Roman: Coordination Models and Languages, Lecture Notes in Computer Science 6721. Springer Berlin / Heidelberg, pp. 95–109, doi:10.1007/978-3-642-21464-6_7.
  17. N. Ng, N. Yoshida, O. Pernet, R. Hu & Y. Kryftis (2011): Safe Parallel Programming with Session Java. In: Coordination Models and Languages, Lecture Notes in Computer Science 6721. Springer Berlin / Heidelberg, pp. 110–126, doi:10.1007/978-3-642-21464-6_8.
  18. OASIS (2007): Web Services Business Process Execution Language (WS-BPEL) Version 2.0. Available at http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html.
  19. C. Ouyang, E. Verbeek, W. M. P. van der Aalst, S. Breutel, M. Dumas & A. H. M. ter Hofstede (2007): Formal semantics and analysis of control flow in WS-BPEL. Sci. Comput. Program. 67(2-3), pp. 162–198, doi:10.1016/j.scico.2007.03.002.
  20. M. Viroli (2007): A core calculus for correlation in orchestration languages. Journal of Logic and Algebraic Programming 70(1), pp. 74 – 95, doi:10.1016/j.jlap.2006.05.006.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org