The proposed approach called Topological Functioning Modeling for Model Driven Architecture (TFM4MDA) uses formal mathematical foundations of Topological Functioning Model (TFM). It introduces the main feature of MDA - Separation of Concerns by formal analysis of a business system, enables mapping to functional requirements and verifying whether those requirements are in conformity with the TFM of the problem domain. By using a goal-based method, a holistic behavior of the planned application can be decomposed in accordance with the goals. Graph transformation from the TFM to a conceptual model (or a domain object model) enables establishing the definition of domain concepts and their relations. The paper also suggests a concept of a tool for TFM4MDA, which is realized as an Eclipse plug-in. © 2008 Springer-Verlag.
CITATION STYLE
Osis, J., Asnina, E., & Grave, A. (2008). Formal problem domain modeling within MDA. In Communications in Computer and Information Science (Vol. 22 CCIS, pp. 387–398). Springer Verlag. https://doi.org/10.1007/978-3-540-88655-6_29
Mendeley helps you to discover research relevant for your work.