TY  - JOUR
UR  - http://www.sciencedirect.com/science/article/B75H1-4HWXCFJ-C/2/aafa190eda879c65e6bd45b214205841
AV  - public
TI  - A Logic for Graphs with QoS
KW  - Graph Logics; QoS; Semirings; Distributed Systems
N2  - We introduce a simple graph logic that supports specification of Quality of Service (QoS) properties of applications. The idea is that we are not only interested in representing whether two sites are connected, but we want to express the QoS level of the connection. The evaluation of a formula in the graph logic is a value of a suitable algebraic structure, a c-semiring, representing the QoS level of the formula and not just a boolean value expressing whether or not the formula holds. We present some examples and briefly discuss the expressiveness and complexity of our logic.

SN  - 1571-0661
EP  - 160
N1  - Proceedings of the First International Workshop on Views on Designing Complex Architectures (VODCA 2004)
ID  - eprints160
JF  - Electronic Notes in Theoretical Computer Science
Y1  - 2006/01//
SP  - 143
A1  - Ferrari, GianLuigi
A1  - Lluch-Lafuente, Alberto
PB  - Elsevier
VL  - 142
ER  -