@incollection{eprints411,
          series = {Lecture Notes in Computer Science},
           pages = {701--720},
       publisher = {Springer},
            note = {{\copyright}Springer-Verlag Berlin Heidelberg 2008. The original publication is available at www.springerlink.com},
       booktitle = {Concurrency, Graphs and Models},
          volume = {5065},
          author = {Alessandro Lapadula and Rosario Pugliese and Francesco Tiezzi},
            year = {2008},
          editor = {Pierpaolo Degano and Rocco De Nicola and Jos{\'e} Meseguer},
           title = {Specifying and Analysing SOC Applications with COWS},
        abstract = {COWS is a recently defined process calculus for specifying and combining service-oriented applications, while modelling their dynamic behaviour. Since its introduction, a number of methods and tools have been devised to analyse COWS specifications, like e.g. a type system to check confidentiality properties, a logic and a model checker to express and check functional properties of services. In this paper, by means of a case study in the area of automotive systems, we demonstrate that COWS, with some mild linguistic additions, can model all the phases of the life cycle of service-oriented applications, such as publication, discovery, negotiation, orchestration, deployment, reconfiguration and execution. We also provide a flavour of the properties that can be analysed by using the tools mentioned above. },
             url = {http://eprints.imtlucca.it/411/}
}