Topological Modeling and Arrow Diagram Logic Formalism Application for Software Development

Problem domain analysis and modeling problems are discussed in the paper. The main problem of the object-oriented approach is its direction not to the problem domain, but to the application domain analysis and modeling. There is no formal connection between system functioning (dynamics) and a structure (static). Topological modeling is a convenient formal and comprehensive way to describe a problem domain in mathematical terms and to transform a system functioning model into a system structure model (class diagram). Sketch approach is a formal comprehensive way to precise a description of system class relations. The comparison of these two approaches and a small example of its application to the system modeling are given in the paper