Dynamic Checking Framework for Java Beans Semantic Constraints

Dynamic Checking Framework for Java Beans

Semantic Constraints

NI Bin;FENG Yulin

【期刊名称】《计算机科学技术学报（英文版）》 【年(卷),期】1999(014)004

【摘要】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. 【总页数】6页(408-413)

【关键词】Java Beans;semantic constraints;specification;dynamic checking

【作者】NI Bin;FENG Yulin

【作者单位】Laboratory for Computer Science, Institute of Software,Chinese

Academy

of

Sciences

Beijing

100080,

P.R.

China;Laboratory for Computer Science, Institute of Software,Chinese Academy of Sciences Beijing 100080, P.R. China