Abstract
Java Beans is a standard for software components. For checking the consistency of 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 Tree 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.
Similar content being viewed by others
References
JAVASOFT™. Java Beans 1.0 API Specification, 1997.
Meyer B. Object-Oriented Software Construction. Prentice-Hall, 2nd Ed., 1997.
Cheion Y, Leavens G T. The Larch/Smalltalk interface specification language.ACM Transaction on SE & Methodology, 1994.
Alencar A J, Goguen J A. OOZE: An object orientedZ environment. InECOOP'91, LNCS 512, 1991.
Duke D, Duke R, Rose G, Smith G. Object-Z: An object-oriented extension toZ. InProceedings of Formal Description Techniques, 1989.
Ehrich H. Object Specification. IFIP WG14.3 Book on Algebraic Foundations of Systems Specification, 1996.
Feng Y L, LI J. Object semantic theory and constraints reasoning.Chinese J. Computers, 1993, 16(11).
Burch J R, Clarke E M, Mcmillan K L., Dill D L, Hwang L J. Symbolic model checking: 1020 States and Beyond.Information and Computation, 1992, 98(2).
JAVASOFT™, BDK1.0 Demos (Software), 1997.
NI B, FENG Y L. Exploiting abstraction to check semantic constraints for Java Beans. InIFIP'98 Congress, Vienna & Budapest, Sept. 1998.
Author information
Authors and Affiliations
Corresponding author
Additional information
This work was supported by the key Project of National Natural Science Foundation of China.
Ni Bin received his B.S. degree from University of Science and Technology of China in 1993 and Ph.D. degree from Institute of Software, Chinese Academy of Sciences in 1998. Currently he is an Assistant Professor of the Institute of Software, Chinese Academy of Sciences. His research interests are in the areas of distributed object computing, component-based software engineering, object technology and formal specification and verification.
Feng Yulin received his M.S. degree from Wuhan University in 1967 and Ph.D. degree from Institute of Computing Technology, Chinese Academy of Sciences in 1982. He was a Professor in the Dept. of Computer Science, University of Science and Technology of China from 1983 to 1991; meanwhile he worked at Stanford University, Carnegie Mellon University and some universities in Europe for years as a visiting post-doctor or guest professor. His research interests are in the areas of distributed object computing, software engineering, knowledge based system and environment, formal specification and verification, and temporal theory of computation etc. Currently he is the Director of the Institute of Software, Chinese Academy of Sciences, a member of the Chinese Committee of IFIP, the Editor-in-Chief of Journal of Software and Journal of Advanced Software Research.
Rights and permissions
About this article
Cite this article
Ni, B., Feng, Y. Dynamic checking framework for Java Beans semantic constraints. J. Comput. Sci. & Technol. 14, 408–413 (1999). https://doi.org/10.1007/BF02948744
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02948744