Paper information
Title
Modelling the Asynchronous Dynamic Evolution of Architectural Types
Modelling the Asynchronous Dynamic Evolution of Architectural Types
Published in
Weyns, D.; Malek, S.; De Lemos, R.; Andersson, J. (eds.): Self-Organizing Architectures. Lecture Notes on Computer Science, vol. 6090, pp. 198-229. Springer-Verlag, Berlin Heidelberg, July 2010. ISBN 978-3-642-14411-0. - 2010
Weyns, D.; Malek, S.; De Lemos, R.; Andersson, J. (eds.): Self-Organizing Architectures. Lecture Notes on Computer Science, vol. 6090, pp. 198-229. Springer-Verlag, Berlin Heidelberg, July 2010. ISBN 978-3-642-14411-0. - 2010
Abstract
Self-adaptability is a feature that has been proposed to deal with the increasing management and maintenance efforts required by large software systems. However this feature is not enough to deal with the longevity usually these systems exhibit. Although self-adaptive systems allow the adaptation or reorganization of the system structure, they generally do not allow introducing unforeseen changes at runtime. This issue is tackled by dynamic evolution. However, its support in distributed contexts, like self-organizing systems, is challenging: these systems have a degree of autonomy which requires asynchronous management. This paper proposes the use of asynchronous dynamic evolution, where both types and instances evolve dynamically at different rates, while preserving: (i) type-conformance of instances, and (ii) the order of type evolutions. This paper describes the semantics for supporting the asynchronous evolution of architectural types (ie. types that define a software architecture). The semantics is illustrated with PRISMA architecture specifications and is formalized by using typed graph transformations.
Self-adaptability is a feature that has been proposed to deal with the increasing management and maintenance efforts required by large software systems. However this feature is not enough to deal with the longevity usually these systems exhibit. Although self-adaptive systems allow the adaptation or reorganization of the system structure, they generally do not allow introducing unforeseen changes at runtime. This issue is tackled by dynamic evolution. However, its support in distributed contexts, like self-organizing systems, is challenging: these systems have a degree of autonomy which requires asynchronous management. This paper proposes the use of asynchronous dynamic evolution, where both types and instances evolve dynamically at different rates, while preserving: (i) type-conformance of instances, and (ii) the order of type evolutions. This paper describes the semantics for supporting the asynchronous evolution of architectural types (ie. types that define a software architecture). The semantics is illustrated with PRISMA architecture specifications and is formalized by using typed graph transformations.
BibTeX
@misc{issi_web:id:345,
title = "Modelling the Asynchronous Dynamic Evolution of Architectural Types",
author = "Cristóbal Costa Soria and Reiko Heckel",
booktitle = "Weyns, D.; Malek, S.; De Lemos, R.; Andersson, J. (eds.): Self-Organizing Architectures. Lecture Notes on Computer Science, vol. 6090, pp. 198-229. Springer-Verlag, Berlin Heidelberg, July 2010. ISBN 978-3-642-14411-0.",
year = "2010",
eprint = "http://issi.dsic.upv.es/publications/archives/f-1279300168624/SOAR10-CostaSoria_Heckel.pdf",
url = "http://www.springer.com/computer/swe/book/978-3-642-14411-0",
abstract = "Self-adaptability is a feature that has been proposed to deal with the increasing management and maintenance efforts required by large software systems. However this feature is not enough to deal with the longevity usually these systems exhibit. Although self-adaptive systems allow the adaptation or reorganization of the system structure, they generally do not allow introducing unforeseen changes at runtime. This issue is tackled by dynamic evolution. However, its support in distributed contexts, like self-organizing systems, is challenging: these systems have a degree of autonomy which requires asynchronous management. This paper proposes the use of asynchronous dynamic evolution, where both types and instances evolve dynamically at different rates, while preserving: (i) type-conformance of instances, and (ii) the order of type evolutions. This paper describes the semantics for supporting the asynchronous evolution of architectural types (ie. types that define a software architecture). The semantics is illustrated with PRISMA architecture specifications and is formalized by using typed graph transformations."
}