Abstrakt. Förhandling är en teknik för att nå ömsesidigt fördelaktiga överenskommelser mellan autonoma enheter. Ett parallellt förhandlingsproblem uppstår när en enhet förhandlar samtidigt med flera andra enheter för att nå en överenskommelse. Inom ramen för Internetbaserade tjänster lägger vi fram ett protokoll för att stödja samtidiga förhandlingar om flera frågor. Genom att utöka befintliga förhandlingsprotokoll gör vårt beskrivna protokoll det möjligt för både tjänsteförfrågningar och tjänsteleverantörer att hantera flera förhandlingsprocesser parallellt. Protokollet gör det möjligt för förhandlingsdeltagarna att göra varaktiga åtaganden för att minska förekomsten av en situation med återtagande. Eftersom färgade Petri nät har större expressiv kraft än än än än ändlig stat maskin och stöd för samstämmighet, använder vi dem för att representera vårt förhandlingsprotokoll och underlätta vår analys av önskvärda egenskaper. Ännu viktigare, vårt protokoll kan analyseras för dödläge, livlighet och andra fel genom att använda de befintliga färgade Petri nätverktyg.
Dang och Huhns Ref föreslår ett protokoll för att hantera flera samtidiga förhandlingar om tjänster mellan tjänsteleverantörer och konsumenter.
Concurrent Multiple-Issue Negotiation for Internet-Based Services
{'venue': 'IEEE Internet Computing', 'journal': None, 'mag_field_of_study': ['Computer Science']}