Formal Analysis of Component Adaptation Techniques

Increasing demand for commercial software components has led to a development and deployment issue of overcoming differences between the customer requirements and developer specifications for the component. Component Adaptation is one solution to the issue. This thesis focuses on modeling the adaptations to an Enterprise JavaBeanTM component using the Z notations and carrying out the adaptations using Active Interfaces adaptation technique. We also formally model the Active Interfaces adaptation technique. Acknowledgements This material is based upon work supported by The National Science Foundation under grant number 9733660. I want to thank Dr. George T. Heineman, my thesis advisor, for his continual support and guidance. I also want to thank Professor Elke Rundensteiner for being the reader for this thesis. I want to thank Professor Kathi Fisler for providing numerous comments on the early draft of this thesis. I thank my friends Subramanian Raju and Anuja Gokhale for their assistance in LTEX and their help in presenting this manuscript. I thank all my friends and colleagues for being there whenever I needed. Last but not the least I dedicate this piece of work to my parents who made all this possible for me.