School of Computing

Describing Evolving Dependable Systems using Co-operative Software Architectures

R de Lemos

Technical Report 1-01, University of Kent, Computing Laboratory, University of Kent at Canterbury, March 2001.

Abstract

This paper describes an architectural approach that facilitates the modelling and analysis of dependable systems that are built from untrustworthy components whose designs, we assume, cannot be changed. The approach is based on the definition of an architectural style in which connectors are considered as first class entities, which embody the description of collaborative behaviour between components. This style is shown to be particularly suitable for describing system components that have to evolve in order for the system to provide dependable services. The feasibility of the proposed architectural style in dealing with evolving dependable systems is demonstrated in terms of the gas station case study.

Download publication 271 kbytes (Microsoft Word document)

Bibtex Record

@techreport{1195,
author = {R de Lemos},
title = {{Describing Evolving Dependable Systems using Co-operative Software Architectures}},
month = {March},
year = {2001},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2001/1195},
    publication_type = {techreport},
    submission_id = {12806_988275483},
    number = {1-01},
    address = {University of Kent at Canterbury},
    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