publications

Publications related to Jolie

  • "Reasoning about Service Oriented Programming paradigm"
    Claudio Guidi and Fabrizio Montesi
    Electronic Proceedings in Theoretical computer science 2
    YR-SOC 09, pages 67-81
  • "Dynamic fault handling mechanisms for service-oriented applications"
    Fabrizio Montesi, Claudio Guidi, Ivan Lanese and Gianluigi Zavattaro
    In Proc. of 6th IEEE European Conference on Web Services (ECOWS 2008).
    pages 225-234, IEEE Computer Society, 2008.
  • "Composing services with JOLIE"
    Fabrizio Montesi, Claudio Guidi, Gianluigi Zavattaro
    In Proc. of 5th IEEE European Conference on Web Services (ECOWS 2007).
    pages 13-22.
  • "A general service oriented approach for managing virtual machines allocation"
    Paolo Anedda, Massimo Gaggero, Simone Manca
    Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu,
    Hawaii, USA, March 9-12, 200
    pages, 2154-2161.
  • "JOLIE: a Java Orchestration Language Intepreter Engine"
    Fabrizio Montesi, Claudio Guidi, Roberto Lucchi and Gianluigi Zavattaro
    Electronic Notes in Theoretical Computer Science, Volume 181, 27 June 2007,
    Pages 19-33

Publications related to the formal framework

  • "Formalizing Mobility in Service Oriented Computing"
    Claudio Guidi and Roberto Lucchi
    Journal of Software (JSW), Academy Publisher. Volume 2 Issue 1:1-13, February 2007
  • "Dynamic Error Handling in Service Oriented Applications"
    Claudio Guidi, Ivan Lanese, Fabrizio Montesi and Gianluigi Zavattaro
    Fundamenta Informaticae, 30 pages, IOS Press, To be published, 2009.
  • "Formalizing languages for Service Oriented Computing"
    Claudio Guidi
    PhD Thesis, Department of computer Science, University of Bologna, 2007
    [link]
  • "Programming SAGAs in SOCK"
    Ivan Lanese and Gianluigi Zavattaro
    In SEFM 2009 (Software Engineering and Formal Methods)
    pages 189-198, IEEE 2009
  • "Bridging the gap between Interaction- and Process-Oriented Choreographies"
    Ivan Lanese, Claudio Guidi, Fabrizio Montesi and Gianluigi Zavattaro
    In Proc. of 6th IEEE International Conferences on Software Engineering and Formal Methods. Pages 323-332, IEEE Computer Society, 2008.
  • "On the Interplay Between Fault Handling and Request-Response"
    Claudio Guidi, Ivan Lanese, Fabrizio Montesi and Gianluigi Zavattaro
    In Proc. of 8th International Conference on Application of Concurrency to System Design (ACSD 2008). Pages 190-199, IEEE Computer Society, 2008.
  • "Replicating Web Services for Scalability"
    Mario Bravetti, Stephen Gilmore, Claudio Guidi and Mirco Tribastone
    In Proc. of Trustworthy Global Computing (TGC 2007).
    Volume 4912 of LNCS, pages 204-221, 2007
  • "SOCK: a calculus for service oriented computing"
    Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
    In Proc. of 4th International Conference on Service Oriented Computing (ICSOC 2006).
    Volume 4294 of LNCS, pages 327-338, 2006.
  • "Choreography and Orchestration conformance for system design"
    Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi and Gianluigi Zavattaro
    In Proc. of 8th International Conference on Coordination Models and Languages (COORDINATION'06). Volume 4038 of LNCS, pages 63-81, 2006.
  • "Mobility mechanisms in Service Oriented Computing"
    Claudio Guidi and Roberto Lucchi
    In Proc. of 8th International Conference on on Formal Methods for Open Object-Based Distributed Systems (FMOODS06). Volume 4037 of LNCS pages 233-250, 2006.
  • "Choreography and Orchestration: a synergic approach for system design"
    Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
    In Proc. of 3rd International Conference on Service Oriented Computing (ICSOC 2005).
    Volume 3826 of LNCS, pages 228-240, 2005.
  • "Reasoning about interaction patterns in Choreography"
    R. Gorrieri, C. Guidi and R. Lucchi
    In Proc. of 2nd International Workshop on Web Services and Formal Methods
    (WS-FM '05). Volume 3070 of LNCS, pages 333-348. 2005.
  • "Towards a formal framework for Choreography"
    N. Busi, R. Gorrieri, C. Guidi, R. Lucchi and G. Zavattaro
    In Proc. of International Workshop on Distributed and Mobile Collaboration (DMC 2005),
    IEEE Computer Society Press. WETICE 2005, pages 107-112.