School of Computing

Describing evolving dependable systems using co-operative software architectures

R. de Lemos

In Proceedings of the IEEE International Conference on Software Maintenance (ICSM�01), pages 182-196. IEEE Computer Society, November 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 92 kbytes (PDF)

Bibtex Record

@conference{1311,
author = {R. de Lemos},
title = {Describing Evolving Dependable Systems using Co-operative Software Architectures},
month = {November},
year = {2001},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2001/1311},
    publication_type = {conference},
    submission_id = {24358_1008180513},
    booktitle = {Proceedings of the IEEE International Conference on Software Maintenance (ICSM�01)},
    publisher = {IEEE Computer Society},
    refereed = {yes},
}

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

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

Last Updated: 21/03/2014