Modeling Facilities for the Component-based Software Development Method

Component-based software development (CBSD) technology uses components as first-class objects and therefore requires a good understanding of the nature of components. Industrial approaches to CBSD based on interoperability standards (such as OMG CORBA) lack of componentsemantics in their descriptionalmodels. In this paperwe present an overview of the SYNTHESIS method emerging the CBSD approach by introduction of semantic information to enrich and complement the industrial modeling facilities. The paper contributes to the development of modeling facilities for CBSD focusing on the interoperable systems design. Proper balance of formal and semi-formal modeling facilities is demonstrated to cope with the CBSD requirements.