A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation

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 st...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Electronic notes in theoretical computer science Jg. 236; S. 147 - 162
Hauptverfasser: Bistarelli, Stefano, Santini, Francesco
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Elsevier B.V 02.04.2009
Schlagworte:
ISSN:1571-0661, 1571-0661
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!