Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 13 / Issue 13

available in:   PDF (1 MB) PS (7 MB)
Similar Docs BibTeX   Write a comment
Links into Future
DOI:   10.3217/jucs-013-13-2035


From Theoretical e-Barter Models to Two Alternative Implementations Based on Web Sevices

Mario Bravetti (Universita di Bologna, Italy)

Adalberto Casalboni (Universita di Bologna, Italy)

Manuel Núñez (Universidad Complutense Madrid, Spain)

Ismael Rodriguez (Universidad Complutense Madrid, Spain)

Abstract: An e-barter system is an e-commerce environment where transactions do not necessarily involve money. They are multi-agent systems where agents perform exchanges of rewources on behlaf of their respective users. Besides, their strucutre is based on a tree of markets. In this paper we show how to develop suitable designs for this kind of systems by means of web services by using WS-BPEL. Since the formal specification abstracts most practical details, the development of such design definition requires to face several challenges. We present two alternative designs that both comply with the formal specification.

Keywords: e-barter, formal methods, web services

Categories: D.2.1, F.3.1, K.4.4