Supporting e-commerce systems formalization with choreography languages

Authors:
Mario Bravetti;Claudio Guidi;Roberto Lucchi;Gianluigi Zavattaro
Affiliations:
University of Bologna, Italy;University of Bologna, Italy;University of Bologna, Italy;University of Bologna, Italy
Venue:
Proceedings of the 2005 ACM symposium on Applied computing
Year:
2005

Citing 2
Cited 6

Towards a Formal Foundation to Orchestration Languages

Electronic Notes in Theoretical Computer Science (ENTCS)
A Framework for Generic Error Handling in Business Processes

Electronic Notes in Theoretical Computer Science (ENTCS)

Analysis of realizability conditions for web service choreographies

FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Automatic translation of WS-CDL choreographies to timed automata

EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Verifying the conformance of web services to global interaction protocols: a first step

EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Reasoning about interaction patterns in choreography

EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Analysis and verification of time requirements applied to the web services composition

WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Choreography conformance analysis: asynchronous communications and information alignment

WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods

Quantified Score

Hi-index	0.00

Visualization

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