- "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.
|