A Corba Component Modeling Method Based on Software Architecture

To develop a conventional CORBA(Common Object Request Broker Architecture)-based distributed object system, first the system’s requirements must be analyzed in requirements analysis step and system’s overall interface and details must be specified and built using IDL(Interface Definition Language) in design step. However, there are not too many models available that can be used as a benchmark in specifying the requirements and details of the CDO(CORBA-based distributed object) system. Conversion to IDL from requirements analysis step or preliminary design stage is a difficult task and an effective method for verification of IDL is not currently available. In the light of unique features of distributed object system, IDL errors that occur in the beginning of software development become the main causes of errors for the system as a whole. This paper suggests SACC (Software Architecture-based CORBA Component) model as a solution to the problems mentioned above m specifying details and verifying CDO system. SACC model uses SCI (SACC Converted IDL) algorithms to be converted to IDL. SACC model utilizes software architecture approach. SACC modeling method uses CTL (Computational Tree Logic) to verify CORBA system that is specified by SACC model. In conclusion, SACC modeling method is proven effective in specifying details and verifying the CDO system. Furthermore, it helps programmers to effectively convert to IDL, which is highly reliable.