Supporting e-commerce systems formalization with choreography languages

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, interdependencies, 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. Categories and Subject Descriptors J. [Internet Applications]: Middleware; D.3 [Programming Languages]: Miscellaneous; C.2 [Communication Technology]: Miscellaneous Keywords Web Services, choreography, orchestration.

• Type: Conference
• Year: 2005
• Where: SAC
• Authors: Mario Bravetti, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
• Keywords: Applied Computing, B2B Applications, Orchestration Languages, SAC 2005, Web Services