Conference
Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting
Abstract
Dynamic reconfiguration, understood as the ability to manage at run time the live components and how these interact in a system, is a feature that is crucial in various languages and computing paradigms, in particular in object orientation. In this paper, we study a categorical approach for characterising dynamic reconfiguration in a logical specification language. The approach is based on the notion of institution, which enables us to work in …
Authors
Castro PF; Aguirre NM; López Pombo CG; Maibaum TSE
Series
Lecture Notes in Computer Science
Volume
6255
Pagination
pp. 306-321
Publisher
Springer Nature
Publication Date
2010
DOI
10.1007/978-3-642-14808-8_21
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743