School of Computing

Dependable and secure storage in pervasive peer-to-peer systems

Rudi Ball, Vicki Spurrett, and Rog�rio de Lemos

Technical report, University of Kent, Computing Laboratory, September 2006.

Abstract

Architectural description languages (ADLs) are used within the software engineering community to support the description of high-level structure, or architecture, of software systems. A major advantage of this is the ability to analyze and evaluate trade-off among alternative solutions. This chapter will discuss the role of ADLs for representing and analyzing the architecture of software systems. Since ADLs vary considerably on the modeling aspects that they cover, we will focus our discussions on how ADLs support structuring dependability issues.

Download publication 161 kbytes (PDF)

Bibtex Record

@techreport{2432,
author = {Rudi Ball and Vicki Spurrett and Rog�rio de Lemos},
title = {Dependable and Secure Storage in Pervasive Peer-to-Peer Systems },
month = {September},
year = {2006},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2006/2432},
    publication_type = {techreport},
    submission_id = {2225_1159197643},
    institution = {University of Kent, Computing Laboratory},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014