eprintid: 161
rev_number: 20
eprint_status: archive
userid: 30
dir: disk0/00/00/01/61
datestamp: 2011-03-24 09:18:25
lastmod: 2014-10-07 14:57:13
status_changed: 2011-03-24 09:18:25
type: article
metadata_visibility: show
item_issues_count: 0
creators_name: Hirsch, Dan
creators_name: Lluch-Lafuente, Alberto
creators_name: Tuosto, Emilio
creators_id: 
creators_id: alberto.lluch@imtlucca.it
creators_id: 
title: A logic for application level QoS
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
keywords: Service oriented computing; synchronized hyperedge replacement; quality of service; logic; c-semirings
note: Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages (QAPL 2005)
abstract: 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.

date: 2006
date_type: published
publication: Electronic Notes in Theoretical Computer Science
volume: 153
number: 2
publisher: Elsevier
pagerange: 135-159
id_number: 10.1016/j.entcs.2005.10.036
refereed: TRUE
issn: 1571-0661
official_url: http://www.sciencedirect.com/science/article/B75H1-4K07PMJ-8/2/0fcb616e2906ac0a6d2ad0f1dc3f0840
funders: Partially supported by the Project EC FET – Global Computing 2, IST-2005-16004 Sensoria and the EC RTN 2-2001-00346 SegraVis (Syntactic and Semantic Integration of Visual Modelling Techniques).
citation:   Hirsch, Dan and Lluch-Lafuente, Alberto and Tuosto, Emilio  A logic for application level QoS.  Electronic Notes in Theoretical Computer Science, 153 (2).  pp. 135-159.  ISSN 1571-0661      (2006)  
document_url: http://eprints.imtlucca.it/161/1/Hirsch_Lluch-lafuente_Tuosto_2006.pdf