
handle: 11564/130974 , 20.500.14243/46234 , 11391/161113 , 11585/67274
We propose a timed and soft extension of Concurrent Constraint Programming. The time extension is based on the hypothesis of bounded asynchrony: the computation takes a bounded period of time and is measured by a discrete global clock. Action pre¯xing is then con- sidered as the syntactic marker which distinguishes a time instant from the next one. Supported by soft constraints instead of crisp ones, tell and ask agents are now equipped with a preference (or consistency) thresh- old which is used to determine their success or suspension. In the paper we provide a language to describe the agents behavior, together with its operational and denotational semantics, for which we also prove the compositionality and correctness properties. Agents negotiating Quality of Service can bene¯t from this new language, by coordinating among themselves and mediating their preferences.
Computer programming; Concurrency control; Constraint theory; Information theory; Ketones; Linguistics; Query languages; Stabilizers (agents), Computation, Constraint Programming
Computer programming; Concurrency control; Constraint theory; Information theory; Ketones; Linguistics; Query languages; Stabilizers (agents), Computation, Constraint Programming
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 11 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
