一种基于范畴论的需求分析模型

A Requirement Analysis Model Based on Category Theory

介绍目前常用的需求分析方法,并对其优势与劣势进行分析。通过对范畴论中的映射关系和各种公理的研究,将该理论和需求分析结合起来,提出一种从系统概念转化为计算机可以识别的系统需求的模型。该模型涵盖了系统需求系统从初始到系统需求的整个过程,具有良好的复用性。由于从概念到环境至内涵是一个逐步实例的过程,因此,该模型具有良好的适应能力和扩展性,可以根据项目规模的大小,需求的清晰程度,项目的环境等因素变化出不同的子模型,凡是了解范畴论略图的都可以理解和使用该模型,具有广泛的应用前景。

The requirement analysis method in common use at present has been introduced, and analyses its advantage and disadvantage. Through the research on the mapping relationship and various axioms of category theory and combining the theory with the requirement analysis, we purpose a systematic demand model which can be identified by computer from systematic no- tion. This model has good repeatability and includes the whole course of the systematic requirement. Since the process from theo- ry to circumstance and to connotation is a step - by - step process, the model has a good ability to adapt and expand, and the model can be changed into the different sub - modal on the basis of the size, the clear requirement and the environmental factors of the project, anyone who understands the sketch of category theory can understand and use the model, and the model will have a wide applications.