Computation Independent Representation of the Problem Domain in MDA

Abstract

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 dening 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 dened from the TFM using a goal-based method. Graph transformation from the TFM to a conceptual model enables denition of domain concepts and their interrelation. This paper also outlines requirements to the tool to support TFMfMDA.