@incollection{eprints295,
       publisher = {Springer},
            note = {The original publication is available at www.springerlink.com},
          author = {Michele Boreale and Roberto Bruni and Luis Caires and Rocco De Nicola and Ivan Lanese and Michele Loreti and Francisco Martins and Ugo Montanari and Antonio Ravara and Davide Sangiorgi and Vasco Thudichum Vasconcelos and Gianluigi Zavattaro},
          editor = {Mario Bravetti and Manuel Nunez and Gianluigi Zavattaro},
       booktitle = {Web Services and Formal Methods (WS-FM 2006)},
          volume = {4184},
           pages = {38--57},
           title = {SCC: A Service Centered Calculus},
          series = {Lecture Notes in Computer Science},
            year = {2006},
        abstract = {We seek for a small set of primitives that might serve as a basis for formalising and programming service oriented applications over global computers. As an outcome of this study we introduce here SCC, a process calculus that features explicit notions of service definition, service invocation and session handling. Our proposal has been influenced by Orc, a programming model for structured orchestration of services, but the SCC?s session handling mechanism allows for the definition of structured interaction protocols, more complex than the basic request-response provided by Orc. We present syntax and operational semantics of SCC and a number of simple but nontrivial programming examples that demonstrate flexibility of the chosen set of primitives. A few encodings are also provided to relate our proposal with existing ones.
},
             url = {http://eprints.imtlucca.it/295/}
}