The formalization of building software system user segments using relational interactive logic

This paper proposes an approach to formalizing the process of constructing segments of software system users by relational interactive logic. The segment description is specified as a system of logical equations and inequalities. The role of variables in such a system is played by relational terms, each of which represents some qualitative or quantitative characteristic of the user. To automatize this approach, a software solution architecture diagram is proposed, which provides the construction and interpretation of a system of logical equations.