Formal support for development of JavaBeans/spl trade/ component systems

Component based software development focuses on building software systems by assembling existing software components. This makes the systems more maintainable, reduces development time and minimizes development as well as maintenance costs. The Java programming language supports component based software development through JavaBeanstrade. Specifying JavaBeans in a natural language is ambiguous to the software systems developers. The use of a formal technique helps to express JavaBeans and consequently JavaBeans-based software systems precisely. This paper presents a formal model of JavaBeans, whereby a system can be divided into a number of interconnected JavaBeans. We adopt the notion of refinement to formalize the replaceability of JavaBeans