Study on the Unified and Formalized Description of the Component Using the Category Theory

摘要

The focus of the software development technology based on components is the identification and assembly of components. The formalized descriptions of the component, including data and computing descriptions, are studied using the theory and method of category. The focus is the unified description of component computing (i.e. component function). The unified description of the component in a certain domain is studied by many different methods: (1) The model of the component data is constructed using the partial order category theory. (2) The component computing is presented by the morphism. (3) The component computing is described using category theories (e.g. limit, nature transformation). The goal is to establish the unified description system of components based on the category theory. Discussions are also presented to stress its importance in the automatic identification and assembly of the component.