Computation Independent Modeling within the MDA

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 (TFM4MDA) increases the degree of formalization. It uses mathematical foundations of Topological Functioning Model (TFM) that holistically represents complete functionality of the system. The TFM4MDA introduces more formal analysis of a business system, namely enables defining not what the client wants, but what the client needs, and also enables textual functional requirement checking, missing requirement checking in conformance with the problem domain "as is" model. A use case model of the application is defined with the help of a goal-based method. A domain concept model is defined by graph transformation of the TFM. The paper also suggests an Eclipse plug-in conception for the implementation of the TFM4MDA.