Abstrakt. Service Level Agreements är en nyckelfråga i Service Oriented Computing. SLA-kontrakt specificerar kundernas krav och tjänstegarantier, med tonvikt på tjänsternas kvalitet (kostnad, prestanda, tillgänglighet osv.). I detta arbete föreslår vi en enkel modell av kontrakt för QoS och SLA som också gör det möjligt att studera mekanismer för resursfördelning och för att förena olika SLA-krav. Vårt språk kombinerar två grundläggande programmering paradigm: namn-passing calculi och samtidig begränsning programmering (cc programmering). Specifikt, vi utökar cc programmering genom att lägga synkron kommunikation och genom att ge en behandling av namn i termer av begränsning och strukturella axiom närmare nominell kalkyl än till variabler med existentiell kvantifiering. I den resulterande ramen är SLA-kraven begränsningar som kan genereras antingen av en enda part eller genom synkronisering av två agenter. Dessutom möjliggör en begränsning av namnen lokala butiker av begränsningar, som kan bli globala till följd av synkroniseringar. Vår strategi bygger på ett system av namngivna begränsningar som utrustar klassiska begränsningar med en lämplig algebraisk struktur som ger en rikare mekanism för begränsning kombination. Vi ger minskningsbevarande översättningar av både cc programmering och beräkning av explicita fusioner.
Förhandlings- och servicenivåavtal behandlas i cc-pi REF, en kalkyl som kombinerar funktioner från samtidiga begränsningar och namnpassage.
Cc-pi: A constraint-based language for specifying service level agreements
{'venue': 'In ESOP, volume 4421 of LNCS', 'journal': None, 'mag_field_of_study': ['Computer Science']}