@incollection{eprints419,
          volume = {4038},
           pages = {145--163},
           title = {A WSDL-Based Type System for WS-BPEL},
          series = {Lecture Notes in Computer Science},
            year = {2006},
            note = {{\copyright}Springer-Verlag Berlin Heidelberg 2006. The original publication is available at www.springerlink.com},
       publisher = {Springer},
          author = {Alessandro Lapadula and Rosario Pugliese and Francesco Tiezzi},
       booktitle = {COORDINATION},
          editor = {Paolo Ciancarini and Herbert Wiklicky},
        abstract = {We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages for web services: WSDL and WS-BPEL. To this aim, first we select an expressive subset of WS-BPEL, with special concern for modeling the interactions among web service instances in a network context, and define its operational semantics. We call ws-calculus the resulting formalism. Then, we put forward a rigorous typing discipline that formalizes the relationship existing between ws-calculus terms and the associated WSDL documents and supports verification of their compliance. We prove that the type system and the operational semantics of ws-calculus are ?sound? and apply our approach to an example application involving three interacting web services. },
             url = {http://eprints.imtlucca.it/419/}
}