Handbook of Process Algebra
Characterizing termination in LOTOS via testing
Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV
A Classification Scheme for Negotiation in Electronic Commerce
Agent Mediated Electronic Commerce, The European AgentLink Perspective.
Modeling User Preferences and Mediating Agents in Electronic Commerce
Agent Mediated Electronic Commerce, The European AgentLink Perspective.
PAMR: A Process Algebra for the Management of Resources in Concurrent Systems
FORTE '01 Proceedings of the IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems
Markets without Makers - A Framework for Decentralized Economic Coordination in Multiagent Systems
WELCOM '01 Proceedings of the Second International Workshop on Electronic Commerce
Agents in Electronic Commerce: Component Technologies for Automated Negation and Coalition Formation
CIA '98 Proceedings of the Second International Workshop on Cooperative Information Agents II, Learning, Mobility and Electronic Commerce for Information Discovery on the Internet
Multi-attribute Utility Theoretic Negotiation for Electronic Commerce
Agent-Mediated Electronic Commerce III, Current Issues in Agent-Based Electronic Commerce Systems (includes revised papers from AMEC 2000 Workshop)
Agents, self-interest and electronic markets
The Knowledge Engineering Review
Agent-mediated electronic commerce: a survey
The Knowledge Engineering Review
Encoding PAMR into (Timed) EFSMs
FORTE '02 Proceedings of the 22nd IFIP WG 6.1 International Conference Houston on Formal Techniques for Networked and Distributed Systems
Posit spaces: a performative model of e-commerce
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
A multi-agent system for e-barter including transaction and shipping costs
Proceedings of the 2003 ACM symposium on Applied computing
Automated test scenarios generation for an e-barter system
Proceedings of the 2004 ACM symposium on Applied computing
Formal specification of multi-agent e-barter systems
Science of Computer Programming
PBS: Private Bartering Systems
Financial Cryptography and Data Security
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
From Theoretical e-barter Models to an Implementation Based on Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
A comparative study of STOPA and RTPA
Transactions on computational science II
XML-based e-barter system for circular supply exchange
DEXA'05 Proceedings of the 16th international conference on Database and Expert Systems Applications
Fundamenta Informaticae - Cognitive Informatics, Cognitive Computing, and Their Denotational Mathematical Foundations (I)
| Hi-index | 0.00 |
In this paper we present a formal framework for the definition of e-barter architectures. By e-barter we mean the possibility of (electronically) exchanging goods without reducing transactions to money. Actually, in our setting, money can be considered just as another good, so that e-barter generalizes seller/buyer architectures. An advantage of e-barter systems, in contrast with most current systems, is that multilateral exchanges can be performed. Customers are first grouped into local markets, according mainly to their localities. Next, a higher order construction allows to compose markets, so that a global market takes a tree-like shape.In order to methodically build our systems, we consider a process algebraic notation. This allows us to specify all the stages of a system (from customers to markets, markets of markets, etc). We introduce an operational semantics for our language so that exchanges of goods are formally defined. Besides, we use some concepts borrowed from microeconomic theory. Specifically, we consider utility functions (i.e. functions returning the valuation that customers/markets give to goods), exchange of goods, and equilibria.We will show that the integration of microeconomic theory and process algebras provides two important gains. Firstly, it allows to avoid ambiguity in the understanding of the behavior of systems. Secondly, it gives a scheme to appropriately structure, in a bottom-up way, e-barter systems.