Description Of Study And Assembly Member Mechanism Based On A Formal Category

Component-based software development (CBSD) is an appealing approach for industry-scale software construction. CBSD promises not only improving software productivity, reducing the time-to-market and catching business opportunities, but also differentiate software manufacturer from others in terms of customer satisfactory and software quality, as well as making software projects successful. Component technology has become the cornerstone for software industry makes progress. It has become a worldwide trend to adopt CBSD in software application development process.Component composition establishes the foundation for software reuse and high-quality software construction. However, present problems are that the component description mostly adopts the formalized method, the lack of precise formal semantics; component assembly automation degree is low.Formal methods make the component semantics be explicitly described. Accordingly, this article on the basis of in-depth study of the structural characteristics of the component and category theory, proposed a component description model based on the category. And on this basis, to expand in-depth exploration and research issues related to the component assembly.First, combined with the characteristics of the components, based on the category of the theory and methods, this article proposed a formal description of the model based on the category, the core is the component category, with other functional category, interface category, method category, property category and environment depend on the category of component category support shows that the accurate description and accurate understanding in favour of implementation artifacts. Secondly, in the realization of the component assembly process is based on the component category code, we describe the components as category object, the relations between the components as category morphism. Through Category pullback operation to assemble components, at the same time gives the derivation algorithm of the component assembly. Finally, the author himself involved in a development of a large-scale employment system, take it for example in practice, this method is applied to the actual components, and is the analysis of the theoretical research and explanation. Experimental and theoretical analysis show that formal description is given in this paper based on the category of components is advantageous to the implementation artifacts accurate description and accurate understanding of the component assembly based on category conducive to use automated tools to manage, maintain, and reuse components.