The complexity of software is increasing. It requires not only the qualitative design, but also in the first place more adequate analysis of the problem environment and often model integration of the same system. An appropriate framework is necessary for such kind of the analysis. The main problem of modern modelling object-oriented techniques, which are easy in use and comprehension, (e.g. UML and RUP) is insufficient formalisation of the logic base. There is considered the usage of two approaches in the paper. The first one is the topological modelling; the second one is universal arrow diagram logic. The paper gives an account of comparison of these two approaches and perspective of its using in problem domain analysis for the purpose of analysis formalisation.