A calculus for quality

Hanne Riis Nielson; Flemming Nielson; Roberto Vigo

doi:10.1007/978-3-642-35861-6_12

A calculus for quality

Hanne Riis Nielson
, Flemming Nielson
, Roberto Vigo

Department of Applied Mathematics and Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Abstract

A main challenge of programming component-based software is to ensure that the components continue to behave in a reasonable manner even when communication becomes unreliable. We propose a process calculus, the Quality Calculus, for programming software components where it becomes natural to plan for default behaviour in case the ideal behaviour fails due to unreliable communication and thereby to increase the quality of service offered by the systems. The development is facilitated by a SAT-based robustness analysis to determine whether or not the code is vulnerable to unreliable communication. This is illustrated on the design of a fragment of a wireless sensor network.

Original language	English
Title of host publication	Formal Aspects of Component Software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers
Publisher	Springer
Publication date	2013
Pages	188-204
ISBN (Print)	978-3-642-35860-9
ISBN (Electronic)	978-3-642-35861-6
DOIs	https://doi.org/10.1007/978-3-642-35861-6_12
Publication status	Published - 2013
Event	9th International Symposium on Formal Aspects of Component Software (FACS 2012) - Mountain View, CA, United States Duration: 12 Sept 2012 → 14 Sept 2012 http://www.cmu.edu/silicon-valley/facs12/

Conference

Conference	9th International Symposium on Formal Aspects of Component Software (FACS 2012)
Country/Territory	United States
City	Mountain View, CA
Period	12/09/2012 → 14/09/2012
Internet address	http://www.cmu.edu/silicon-valley/facs12/

Keywords

Distributed systems
Availability of data
Robustness
SAT-solving

Access to Document

10.1007/978-3-642-35861-6_12

OpenUrl availability

Check availability in DTU Findit

Cite this

@inproceedings{d151907617b54cbcac1a804c10dcd773,

title = "A calculus for quality",

abstract = "A main challenge of programming component-based software is to ensure that the components continue to behave in a reasonable manner even when communication becomes unreliable. We propose a process calculus, the Quality Calculus, for programming software components where it becomes natural to plan for default behaviour in case the ideal behaviour fails due to unreliable communication and thereby to increase the quality of service offered by the systems. The development is facilitated by a SAT-based robustness analysis to determine whether or not the code is vulnerable to unreliable communication. This is illustrated on the design of a fragment of a wireless sensor network.",

keywords = "Distributed systems, Availability of data, Robustness, SAT-solving",

author = "Nielson, \{Hanne Riis\} and Flemming Nielson and Roberto Vigo",

year = "2013",

doi = "10.1007/978-3-642-35861-6\_12",

language = "English",

isbn = "978-3-642-35860-9",

pages = "188--204 ",

booktitle = "Formal Aspects of Component Software",

publisher = "Springer",

note = "9th International Symposium on Formal Aspects of Component Software (FACS 2012) ; Conference date: 12-09-2012 Through 14-09-2012",

url = "http://www.cmu.edu/silicon-valley/facs12/",

}

Nielson, HR, Nielson, F & Vigo, R 2013, A calculus for quality. in Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers. Springer, pp. 188-204 , 9th International Symposium on Formal Aspects of Component Software (FACS 2012), Mountain View, CA, United States, 12/09/2012. https://doi.org/10.1007/978-3-642-35861-6_12

A calculus for quality. / Nielson, Hanne Riis; Nielson, Flemming; Vigo, Roberto.
Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers. Springer, 2013. p. 188-204 .

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - A calculus for quality

AU - Nielson, Hanne Riis

AU - Nielson, Flemming

AU - Vigo, Roberto

PY - 2013

Y1 - 2013

N2 - A main challenge of programming component-based software is to ensure that the components continue to behave in a reasonable manner even when communication becomes unreliable. We propose a process calculus, the Quality Calculus, for programming software components where it becomes natural to plan for default behaviour in case the ideal behaviour fails due to unreliable communication and thereby to increase the quality of service offered by the systems. The development is facilitated by a SAT-based robustness analysis to determine whether or not the code is vulnerable to unreliable communication. This is illustrated on the design of a fragment of a wireless sensor network.

AB - A main challenge of programming component-based software is to ensure that the components continue to behave in a reasonable manner even when communication becomes unreliable. We propose a process calculus, the Quality Calculus, for programming software components where it becomes natural to plan for default behaviour in case the ideal behaviour fails due to unreliable communication and thereby to increase the quality of service offered by the systems. The development is facilitated by a SAT-based robustness analysis to determine whether or not the code is vulnerable to unreliable communication. This is illustrated on the design of a fragment of a wireless sensor network.

KW - Distributed systems

KW - Availability of data

KW - Robustness

KW - SAT-solving

U2 - 10.1007/978-3-642-35861-6_12

DO - 10.1007/978-3-642-35861-6_12

M3 - Article in proceedings

SN - 978-3-642-35860-9

SP - 188

EP - 204

BT - Formal Aspects of Component Software

PB - Springer

T2 - 9th International Symposium on Formal Aspects of Component Software (FACS 2012)

Y2 - 12 September 2012 through 14 September 2012

ER -

A calculus for quality

Abstract

Conference

Keywords

Access to Document

OpenUrl availability

Fingerprint

Cite this