Ett multiagentsystem för e-handel består av en uppsättning agenter som utbyter varor. Dessa ombud får bedriva multilateralt utbyte som omfattar flera varor. I synnerhet kan pengar vara en av dessa varor. Varje agent är utrustad med en verktygsfunktion som anger preferenser för respektive användare. För att förbättra prestandan är dessa bytessystem strukturerade i hierarkisk form. Inledningsvis grupperas agenter, beroende på ort, i lokala marknader. När en lokal marknad väl har fullbordats, dvs. inga fler utbyten är möjliga, blir den lokala marknaden själv en ny agent. Preferenser av denna agent, ges av en ny nyttofunktion, representerar individuella preferenser av sina tidigare kundagenter. Sedan byter lokala marknader varor på en högre ordermarknad tills den blir färdig. Processen är iterated, på ett nedifrån-och-upp-sätt, tills den globala marknaden som omfattar alla agenter i systemet blir klar också. Vi tillhandahåller ett formellt språk, baserat på klassiska processalgebror, för att specificera och analysera e-bytessystem. Vi studerar även egenskaper hos e-handelssystem representerade i vår notation. I synnerhet visar vi att den slutliga fördelningen av varor i ett hierarkiskt e-handelssystem är en Pareto-optimal. Med andra ord kommer vi att kunna bevisa att ekonomisk effektivitet inte går förlorad genom att överväga vår hierarkiska struktur i stället för en inre marknad.
Marknadsstrukturen i vårt system är antagen från REF.
Formal specification of multi-agent e-barter systems
{'venue': 'Sci. Comput. Program.', 'journal': 'Sci. Comput. Program.', 'mag_field_of_study': ['Computer Science']}