Object-oriented analysis suggests semiformal use- case driven techniques for problem domain modeling from a computation independent viewpoint. The proposed approach called Topological Functioning Modeling for Model Driven Architecture (TFMfMDA) increases the degree of formalization. It uses mathematical foundations of Topological Functioning Model (TFM) that holistically represents complete functionality of the system. TFMfMDA introduces more formal analysis of a business system, namely enables defining not what the client wants, but what the client needs. Additionally, it also enables verification of textual functional requirements, checking of missing requirements in conformance with the "as is" model of the problem domain. A use case model of the application is defined with the help of a goal-based method. A model of domain concepts is defined by graph transformation of the TFM. TFMfMDA satisfies the main feature of MDA ? Separation of Concerns.