How To Touch a Running SystemRecon guration of Stateful ComponentsDissertationan der Fakult at fur Mathematik, Informatik und Statistikder Ludwig-Maximilians-Universit at Munc henzur Erlangung des Grades Doctor rerum naturalium (Dr. rer. nat.)vorgelegt vonMoritz Hammereingereicht am 24.4.2009Berichterstatter: Prof. Dr. Martin WirsingProf. Dr. Frantisek Pl asilProf. Dr. Alexander KnappTag des Rigorosums: 7.5.2009AbstractThe increasing importance of distributed and decentralized software architecturesentails more and more attention for adaptive software. Obtaining adaptiveness,however, is a di cult task as the software design needs to foresee and cope with avariety of situations. Using recon guration of components facilitates this task, asthe adaptivity is conducted on an architecture level instead of directly in the code.This results in a separation of concerns; the appropriate recon guration can bedevised on a coarse level, while the implementation of the components can remainlargely unaware of recon guration scenarios.We study in component frameworks based on formal theory. We rst discuss programming with components, exempli ed with the development of++thecmc model checker. This highly e cient model checker is made of C compo-nents and serves as an example for component-based software development practicein general, and also provides insights into the principles of adaptivity.