• "Supporting e-commerce systems formalization with choreography languages"
    M. Bravetti, C. Guidi, R. Lucchi, G. Zavattaro.
    In Proc. of ACM Symposium on Applied Computing (SAC'05), ACM Press, 2005.
    [pdf] [bibtex]
Abstract: E-commerce as well as B2B applications are essentially based on interactions between different people and organizations (e.g. industry, banks, customers) that usually exploit the Internet as communication media. Web Services provide a mean to deal with these aspects. In this paper we show, via a case study, how choreography and orchestration languages allow us to express behaviour policies between the involved entities (interactions modalities, inter-dependencies, security requirements);in particular we consider that they can be used not only for describing behavioural rules but also for designing and testing whether the involved entities move according with system specifications.