| The 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 formal mathematical foundations of Topological Functioning Model (TFM). TFMfMDA introduces more formal analysis of the problem domain, enables defining what the client needs, verifying textual functional requirements, and checking missing requirements in conformity with the domain model. A use case model of the application to be build is defined from the TFM using a goal-based method. Graph transformation from the TFM to a conceptual model enables definition of domain concepts and their interrelation. This paper also outlines requirements to the tool to support TFMfMDA. |
