Checking the conformability in CORBA component mode specifications

Abstract

We proposed in this paper an approach for checking the conformability in CORBA component model specifications. In software engineering, it is dem onstrated that discovering bugs in earlier phases is much more economical than later phases. We focused thus on verifying components by their ports specification. In order to do this, firstly we determ ined constraints on kinds of port as well as on types of port which the connection between ports must satisfy, and then formalized them to be able to prove automatically using formal prover tools. Here, we proposed to use the B method for verify ing components in a CCM specification .