Категорно-функторна модель трасування вимог об’єктного сховища даних

Abstract

The thesis addresses the problem of formalizing requirements for object storage systems to enable their traceability and deviation detection. It shows that textual or weakly structured requirements do not provide an unambiguous transition to configuration decisions, implementation states, and evaluation metrics. A category–functor model is proposed to represent requirements in a formalized form and relate them to configuration profiles, components, states, and metrics. The proposed approach provides a basis for automated traceability, inconsistency localization, and formal comparison of target and actual storage characteristics.