Dynamic Checking Framework for Java Beans Semantic Constraints

摘要

Java Beans is a standard for software components. For checking the consistency off the Java Beans semantic constraints with its implementation, this paper proposes a formal Java Beans Description Language (JBDL) to specify component semantic constraints. The JBDL logic is based on many sorted first order logic and Computation nee Logic (CTL), with extension of some facilities in specifying object oriented features. A framework for dynamic checking Java Beans semantic constraints in JBDL form is described in this paper and some experimental results are showed by examples.