| dc.description.abstract |
We proposed in this paper an approach for checking the conformability in CORBA
component model specifications. In software engineering, it is demonstrated 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 determined 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 verifying components in a CCM specification |
vi |