Topological Modeling and Arrow Diagram Logic Formalism Application for Software Development

Computer Science and Information Technologies : Databases and Information Systems : Doctoral Consortium : Sixth International Baltic Conference BalticDB&IS 2004. Scientific Papers of University of Latvia. Vol.673 2004
Ērika Nazaruka

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.

Keywords
Topological modeling, sketch approach, arrow diagram logic

Asņina, Ē. Topological Modeling and Arrow Diagram Logic Formalism Application for Software Development. In: Computer Science and Information Technologies : Databases and Information Systems : Doctoral Consortium : Sixth International Baltic Conference BalticDB&IS 2004. Scientific Papers of University of Latvia. Vol.673, Latvia, Rīga, 6-9 June, 2004. Riga: University of Latvia, 2004, pp.220-231. ISBN 9984-770-12-5. ISSN 1407-2157.

Publication language
English (en)