This thesis presents a general model for component-based software. The model precisely specifies component-based software with sound basis mathematics. It captures the essence of currently most popular component technologies like JavaBean, COM, and CORBA. It will help people understand concepts of component technologies more easily and also it could be used as a standing point to develop a formal testing and verification methodology for component technologies.

               To verify the applicability of the general model, a prototype for the general model has been presented in this thesis. The prototype has proved that the general model for component-based software is applicable.