Component-Based Software Engineering- the Need to Link Methods and their Theories

Abstract. We discuss some of the difficulties and significant issues that we need to consider when developing a formal method for component-based software en-gineering. We argue that to deal with the challenges, there is a need in research to link existing theories and methods of programming for effective support to component-based software engineering. We then present our initiative on a uni-fied multi-view approach to modelling, design and analysis of component sys-tems, emphasising the integration of models for different views