Java Beans is a standard for softwarecomponents. For checking theconsistency of the Java Beans semanticconstraints with its implementation, thispaper proposes a formal JavaBeans Description Language (JBDL) to specify componentsemanticconstraints. The JBDL logic is based on many sorted first order logicandComputation Tree Logic (CTL), with extension of some facilities in specifying objectorientedfeatures. A framework for dynamic checking Java Beans semanticconstraints inJBDL form is described in this paper and someexperimental results are showed byexamples.