Research and Application on Key Technologies of Component-Based Software Engineering

摘要

It requires a move from component infrastructure products to a broader notion of component-based development (CBD) in the domain of component-based software engineering. This paper puts forward some problems existing in CBD, then discuss the key technologies used to solve these problems in detail, including component-based development model, component formal description technique, composition validation and verification, as well as run-time monitoring and dynamic reconfiguration. At last, we introduce a CASE tool in which most of these techniques are applied.