Based On Formal Methods Of Software Component Interface Specification

Software engineering (SE) is a subject born for solving software crisis, component-based Software engineering (CBSE) has been improving the efficiency of software production and quality, therefore CBSE has been becoming an essential prototype of software development. The interface of component is like a contract obeyed by both developers and assemblers, in respect that component has a property of black box. However, present industrial standard of the current component, such as CORBA, EJB, COM etc., only specified interface structure in their models and IDL, but each component model has its data structure and behavior description in realization, so it is hard to provide a normal specification in component exploitation and assemble exactly. Accordingly, the development of CBSE and the formation of component market are embarrassed respectively.In allusion to the problem of the specification of component interface put forward above, a normal specification was provided by using the characteristic of component and formal approach in this paper. The normal specification was described by B-method and CSP, and it could specify the interface of different component, which promote to develop and assemble with the interface Specification in order to create more powerful and abstracter component. The main contents in this thesis are summarized as follows:First, the formal theory and CSP were summarized, meanwhile the formal approach and its development were introduced at home and abroad.Second, not only the component and its IDL were outlined, but also the present standard specification of common component was introduced, such as EJB, CORBA, COM and etc..Then, the formal specification of component model was studied, meanwhile the component model was well described by the well-defined syntax and semanteme,and some of the semanteme was also formally specified, then different component models'common modules were given, which could be used to accommodate their different common component's features.Finally, the interfaces of EJB and COM were specified by B-method, at the same time the distributed behavior of EJB was described by using CSP.Considering practical application, only the interface specification of EJB and COM was mainly realized in this paper.