A Logic for Application Level QoS

Dan Hirsch, Alberto Lluch Lafuente, Emilio Tuosto

Research output: Contribution to journalConference articleResearchpeer-review


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. We 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). In 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. The 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. © 2006 Elsevier B.V. All rights reserved.
Original languageEnglish
JournalTheoretical Computer Science
Issue number2
Pages (from-to)135-159
Number of pages25
Publication statusPublished - 2006
Externally publishedYes
Event3rd Workshop on Quantitative Aspects of Programming Languages - Edinburgh, United Kingdom
Duration: 9 Apr 2005 → …
Conference number: 3


Conference3rd Workshop on Quantitative Aspects of Programming Languages
CountryUnited Kingdom
Period09/04/2005 → …


  • Boolean algebra
  • Computer science
  • Constraint theory
  • Distributed computer systems
  • Logic design
  • Performance
  • Quality of service
  • Topology
  • Object oriented programming
  • Constraint-semirings
  • Service oriented computing
  • Synchronized hyperedge replacements
  • c-semirings
  • logic
  • quality of service
  • synchronized hyperedge replacement
  • T

Fingerprint Dive into the research topics of 'A Logic for Application Level QoS'. Together they form a unique fingerprint.

Cite this