Formal Problem Domain Modeling within MDA

Software and Data Technologies : Second International Conference, ICSOFT/ENASE 2007: Revised Selected Papers. Communications in Computer and Information Science. Vol.22 2008
Jānis Osis, Ērika Nazaruka, Andrejs Grāve

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.

Keywords
-
DOI
10.1007/978-3-540-88655-6_29
Hyperlink
http://link.springer.com/chapter/10.1007%2F978-3-540-88655-6_29

Osis, J., Nazaruka, Ē., Grāve, A. Formal Problem Domain Modeling within MDA. In: Software and Data Technologies : Second International Conference, ICSOFT/ENASE 2007: Revised Selected Papers. Communications in Computer and Information Science. Vol.22, Germany, Berlin, 22-25 July, 2007. Berlin: Springer-Verlag Berlin Heidelberg, 2008, pp.387-398. ISBN 978-3-540-88654-9. e-ISBN 978-3-540-88655-6. ISSN 1865-0929. Available from: doi:10.1007/978-3-540-88655-6_29

Publication language
English (en)