Dynamic Checking Frameworkfor Java Beaus Semantic Constraints  

作　　者：倪彬 冯玉琳 

机构地区：[1]LaboratoryforComputerScience,InstituteofSoftware,ChineseAcademyofSciencesBeijing100080,P,R.China [2]Labo

出　　处：《Journal of Computer Science & Technology》1999年第4期408-413,共6页计算机科学技术学报（英文版）

摘　　要：Java Beans is a standard for software components. For checkingthe consistency of the Java Beaus semantic constraints with its implementation,this paper proposes a formal Java Beaus Description Language (JBDL) to specifycomponent semantic constraints. The JBDL logic is based on many sorted firstorder logic and Computation Tree Logic (CTL), with extension of some facilities inspecifying object oriented features. A framework for dynamic checking Java Beaussemantic constraines in JBDL form is described in this paper and some experimentalresults are showed by examples.Java Beans is a standard for software components. For checkingthe consistency of the Java Beaus semantic constraints with its implementation,this paper proposes a formal Java Beaus Description Language (JBDL) to specifycomponent semantic constraints. The JBDL logic is based on many sorted firstorder logic and Computation Tree Logic (CTL), with extension of some facilities inspecifying object oriented features. A framework for dynamic checking Java Beaussemantic constraines in JBDL form is described in this paper and some experimentalresults are showed by examples.

关 键 词：Java Beaus semantic constraints SPECIFICATION dynamic checking 

分 类 号：TP31[自动化与计算机技术—计算机软件与理论]