A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation (Contributo in atti di convegno)

Type
Label
  • A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation (Contributo in atti di convegno) (literal)
Anno
  • 2008-01-01T00:00:00+01:00 (literal)
Alternative label
  • [1] Bistarelli S., [1] Santini F. (2008)
    A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation
    in 23-esimo Convegno Italiano di Logica Computazionale (CILC08)
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • [1] Bistarelli S., [1] Santini F. (literal)
Pagina inizio
  • 147 (literal)
Pagina fine
  • 162 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali
  • 16 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • [1] IIT- CNR, Pisa, Italy (literal)
Titolo
  • A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation (literal)
Abstract
  • We present an extension of the Soft Concurrent Constraint language that allows the nonmonotonic evolution of the constraint store. To accomplish this, we introduce some new operations: the retract(c) reduces the current store by c, the updateX(c) transactionally relaxes all the constraints of the store that deal with the variables in the set X, and then adds a constraint c; the nask(c) tests if c is not entailed by the store. We present this framework as a possible solution to the management of resources (e.g. web services and network resource allocation) that need a given Quality of Service (QoS). The QoS requirements of all the parties should converge, through a negotiation process, on a formal agreement defined as the Service Level Agreement, which specifies the contract that must be enforced. c-semirings are the algebraic structures that we use to model QoS metrics. (literal)
Editore
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Prodotto
Autore CNR di
Editore di
Insieme di parole chiave di
data.CNR.it