A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation. Bistarelli, S. & Santini, F. 2009. doi abstract bibtex 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.
@conference{
11391_121121,
author = {Bistarelli, Stefano and Santini, Francesco},
title = {A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation},
year = {2009},
publisher = {ELSEVIER},
journal = {ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE},
volume = {236},
booktitle = {Proceedings of the 3rd International Workshop on Views On Designing Complex Architectures (VODCA 2008)},
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.},
keywords = {soft constraint logic programming; nonmonotonicity; quality of service; service level agreement},
doi = {10.1016/j.entcs.2009.03.020},
pages = {147--162}
}
Downloads: 0
{"_id":{"_str":"53f475e53d9d602c1a0012aa"},"__v":3,"authorIDs":["5457089d8b01c8193000012f","5a8SaRQZEqQauLeSj","5dec2eeed39dc7de01000059","5defa628706001de01000155","5df0bf368367c8de0100014e","5df7a6a2f3cb28df0100013e","5df8c7c4e6b510df0100018c","5df8e4de877972de0100016c","5df99361c4ada8de01000018","5dfea9342331dfdf01000059","5e012b722e225bde01000053","5e0968c8ade67ddf01000043","5e0b068b3830a1df010000e1","5e10a884cfb06ddf0100002c","5e10fd55d6a01ede01000024","5e142e4b12768ef30100003c","5e1961659eca7cdf01000080","5e1a2ca69fbdddde010000ff","5e1f814208195af3010000a8","5e2b62d96366e2df010000e6","5e2b8ef4f92538df01000011","5e2d73a3556d50df01000041","5e30e7755f9c1cf2010000d7","5e35f2395cd57fde010000c7","5e3a22e3c268d2de01000108","5e3b007c55f0f2df0100011a","5e3e128b4cdb49de0100008a","5e4094bbd668c6de0100007c","5e40f782fd6934df01000169","5e413b68b7d170df01000092","5e42e16aa6f4a6f2010000d1","5e4eddeb2962cadf010000e9","5e54f08fb8e445df01000107","6rZ7TmdCqfG4dxRdT","Q5h43gs9oNpAm4KeK","Zw3hLXQ8Xyab4HobY"],"author_short":["Bistarelli, S.","Santini, F."],"bibbaseid":"bistarelli-santini-anonmonotonicsoftconcurrentconstraintlanguageforslanegotiation-2009","bibdata":{"bibtype":"conference","type":"conference","author":[{"propositions":[],"lastnames":["Bistarelli"],"firstnames":["Stefano"],"suffixes":[]},{"propositions":[],"lastnames":["Santini"],"firstnames":["Francesco"],"suffixes":[]}],"title":"A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation","year":"2009","publisher":"ELSEVIER","journal":"ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE","volume":"236","booktitle":"Proceedings of the 3rd International Workshop on Views On Designing Complex Architectures (VODCA 2008)","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.","keywords":"soft constraint logic programming; nonmonotonicity; quality of service; service level agreement","doi":"10.1016/j.entcs.2009.03.020","pages":"147–162","bibtex":"@conference{\n\t11391_121121,\n\tauthor = {Bistarelli, Stefano and Santini, Francesco},\n\ttitle = {A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation},\n\tyear = {2009},\n\tpublisher = {ELSEVIER},\n\tjournal = {ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE},\n\tvolume = {236},\n\tbooktitle = {Proceedings of the 3rd International Workshop on Views On Designing Complex Architectures (VODCA 2008)},\n\tabstract = {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.},\n\tkeywords = {soft constraint logic programming; nonmonotonicity; quality of service; service level agreement},\n\tdoi = {10.1016/j.entcs.2009.03.020},\t\n\tpages = {147--162}\n}\n","author_short":["Bistarelli, S.","Santini, F."],"key":"11391_121121","id":"11391_121121","bibbaseid":"bistarelli-santini-anonmonotonicsoftconcurrentconstraintlanguageforslanegotiation-2009","role":"author","urls":{},"keyword":["soft constraint logic programming; nonmonotonicity; quality of service; service level agreement"],"metadata":{"authorlinks":{"bistarelli, s":"https://bista.sites.dmi.unipg.it/papers/"}},"downloads":0,"html":""},"bibtype":"conference","biburl":"http://www.dmi.unipg.it/~bista/papers/pubblicazioni.bib","creationDate":"2014-08-20T10:18:13.744Z","downloads":0,"keywords":["soft constraint logic programming; nonmonotonicity; quality of service; service level agreement"],"search_terms":["nonmonotonic","soft","concurrent","constraint","language","sla","negotiation","bistarelli","santini"],"title":"A Nonmonotonic Soft Concurrent Constraint Language for SLA Negotiation","year":2009,"dataSources":["SjN5QvQnwzXZgxsKq","GhB5rb8JzW6az3exo","T6HLi2LBH4teAezac"]}