Managing Quality of Service with Soft Constraints

Santini, Francesco

doi:10.1007/978-3-540-89982-2_87

Cited by 3 publications

(3 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Several other works make use of idempotent semirings for describing quantitative aspects of computations, namely under the form of constraint semirings [4], particularly under the name of soft constraints. These have been used in the field of Quality of Service [10,16], in particular with systems modelled by graph rewriting mechanisms [13]. In all these approaches, the ⊕ and ⊗ operators of the constraint semiring are used for combining constraints.…”

Section: Discussion and Related Workmentioning

confidence: 99%

Injecting Abstract Interpretations into Linear Cost Models

Cachera¹,

Jobin²

2010

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

We present a semantics based framework for analysing the quantitative behaviour of programs with regard to resource usage. We start from an operational semantics equipped with costs. The dioid structure of the set of costs allows for defining the quantitative semantics as a linear operator. We then present an abstraction technique inspired from abstract interpretation in order to effectively compute global cost information from the program. Abstraction has to take two distinct notions of order into account: the order on costs and the order on states. We show that our abstraction technique provides a correct approximation of the concrete cost computations.

show abstract

Section: Discussion and Related Workmentioning

confidence: 99%

Injecting Abstract Interpretations into Linear Cost Models

Cachera¹,

Jobin²

2010

Electron. Proc. Theor. Comput. Sci.

View full text Add to dashboard Cite

show abstract

“…The work of several other authors makes use of an idempotent semiring to describe quantitative aspects of computations, specifically, in the form of constraint semirings (Bistarelli et al 1997;Bistarelli 2004), particularly under the name of soft constraints. These have been used in the field of Quality of Service (De Nicola et al 2005;Santini 2008), in particular, with systems modelled by graph rewriting mechanisms (Hirsch and Tuosto 2005). In all these approaches, the ⊕ and ⊗ operators of the constraint semiring are used to combine constraints.…”

Section: Related Workmentioning

confidence: 99%

Long-run cost analysis by approximation of linear operators over dioids

Cachera¹,

Jensen²,

Jobin³

et al. 2010

Math. Struct. Comp. Sci.

View full text Add to dashboard Cite

We present a static analysis technique for modeling and approximating the long-run resource usage of programs. The approach is based on a quantitative semantic framework where programs are represented as linear operators over dioids. We show how to extract the long-run cost of a program from the matrix representation of its semantics. An essential contribution is to provide abstraction techniques which make it feasible to compute safe overapproximations of this cost. A theorem is proved stating that such abstractions yield correct approximations of the program's long-run cost. The theoretical developments are illustrated on a concrete example taken from the analysis of the cache behaviour of a simple bytecode language.

show abstract

“…The key idea of this paper is to use the a soft constraint framework in order to be able to manage SOAs in a declarative fashion by considering together both the requirements/interfaces of each service and their QoS estimation [30,27,28]. C-semirings can represent several QoS attributes, while soft constraints represent the specification of each service to integrate: they link these measures to the resources spent in providing it, for instance, "the reliability is equal to 80% plus 5% for each other processor used to execute the service".…”

Section: Introductionmentioning

confidence: 99%

Soft Constraints for Quality Aspects in Service Oriented Architectures

Bistarelli¹,

Santini²

2009

Electron. Proc. Theor. Comput. Sci.

Self Cite

View full text Add to dashboard Cite

We propose the use of Soft Constraints as a natural way to model Service Oriented Architecture. In the framework, constraints are used to model components and connectors and constraint aggregation is used to represent their interactions. The "quality of a service" is measured and considered when performing queries to service providers. Some examples consist in the levels of cost, performance and availability required by clients. In our framework, the QoS scores are represented by the softness level of the constraint and the measure of complex (web) services is computed by combining the levels of the components.

show abstract

Managing Quality of Service with Soft Constraints

Cited by 3 publications

References 9 publications

Injecting Abstract Interpretations into Linear Cost Models

Injecting Abstract Interpretations into Linear Cost Models

Long-run cost analysis by approximation of linear operators over dioids

Soft Constraints for Quality Aspects in Service Oriented Architectures

Contact Info

Product

Resources

About