JUCS - Journal of Universal Computer Science 13(13): 2035-2075, doi: 10.3217/jucs-013-13-2035
From Theoretical e-Barter Models to Two Alternative Implementations Based on Web Sevices
expand article infoMario Bravetti‡, Adalberto Casalboni‡, Manuel Núñez§, Ismael Rodriguez§
‡ Universita di Bologna, Bologna, Italy§ Universidad Complutense de Madrid, Madrid, Spain

Corresponding author: Mario Bravetti ( bravetti@cs.unibo.it )

© Mario Bravetti, Adalberto Casalboni, Manuel Núñez, Ismael Rodriguez.
This article is freely available under the J.UCS Open Content License.
Citation: Bravetti M, Casalboni A, Núñez M, Rodriguez I (2007) From Theoretical e-Barter Models to Two Alternative Implementations Based on Web Sevices. JUCS - Journal of Universal Computer Science 13(13): 2035-2075. https://doi.org/10.3217/jucs-013-13-2035
Open Access
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
formal methods, e-barter, web services