In this paper, a domain model of dynamic system reconfiguration is presented. The intent of this model is to provide a comprehensive conceptual framework within which to address problems and solutions related to dynamically reconfigurable systems in a systematic and consistent manner. The model identifies and categorizes the various types of change that may be required, the relationship between those types, and the key factors that need to be considered and actions to be performed when such changes take place. A rigorous formal methodology, based on the Alloy language and tools, is employed to specify precisely and formally the detailed relationships between various parts of the model. © Springer-Verlag Berlin Heidelberg 2005.
CITATION STYLE
Walsh, D., Bordeleau, F., & Selic, B. (2005). A domain model for dynamic system reconfiguration. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3713 LNCS, pp. 553–567). Springer Verlag. https://doi.org/10.1007/11557432_42
Mendeley helps you to discover research relevant for your work.