<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "A logic for application level QoS"^^ . "Service Oriented Computing (SOC) has been proposed as a paradigm to describe computations of applications on wide area distributed systems. Awareness of Quality of Service (QoS) is emerging as a new exigency in both design and implementation of SOC applications.\r\nWe do not refer to QoS aspects related to low-level performance and focus on those high-level non-functional features perceived by end-users as application dependent requirements, e.g., the price of a given service, or the payment mode, or else the availability of a resource (e.g., a file in a given format).\r\nIn this paper we present a logic which includes mechanisms to consider the three main dimensions of systems, namely their structure, behaviour and QoS aspects. The evaluation of a formula is a value of a constraint-semiring and not just a boolean value expressing whether or not the formula holds. This permits to express not only topological and temporal properties but also QoS properties of systems.\r\nThe logic is interpreted on SHReQ, a formal framework for specifying systems that handles abstract high-level QoS aspects combining Synchronised Hyperedge Replacement with constraint-semirings.\r\n"^^ . "2006" . . "153" . "2" . . "Elsevier"^^ . . . "Electronic Notes in Theoretical Computer Science"^^ . . . "15710661" . . . . . . . . . . . . . "Alberto"^^ . "Lluch-Lafuente"^^ . "Alberto Lluch-Lafuente"^^ . . "Emilio"^^ . "Tuosto"^^ . "Emilio Tuosto"^^ . . "Dan"^^ . "Hirsch"^^ . "Dan Hirsch"^^ . . . . . . "A logic for application level QoS (PDF)"^^ . . . . . . "Hirsch_Lluch-lafuente_Tuosto_2006.pdf"^^ . . . "A logic for application level QoS (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "A logic for application level QoS (Other)"^^ . . . . . . "preview.jpg"^^ . . . "A logic for application level QoS (Other)"^^ . . . . . . "medium.jpg"^^ . . . "A logic for application level QoS (Other)"^^ . . . . . . "small.jpg"^^ . . "HTML Summary of #161 \n\nA logic for application level QoS\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .