• "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
    [pdf][bibtex]
Abstract: Service oriented computing is an emerging paradigm for designing distributed applications where service and composition are the main concepts it is based upon. In this context formal methods can contribute by allowing for the development of properties verification and basic languages for supporting system design. In this paper we propose SOCK, a three-layered calculus equipped with a formal semantics, for addressing all the basic mechanisms of service communication and composition. The main contribute of our work is the development of a formal framework where the service design is decomposed into three fundamental parts: the behaviour, the declaration and the composition where each part can be designed independently of the other ones.