2026-04-17T02:49:16Zhttps://recercat.cat/oai/request

oai:recercat.cat:2117/3275402025-07-16T22:50:54Zcom_2072_1033col_2072_452949

00925njm 22002777a 4500 dc Favre, Liliana author Martínez, Liliana author Pereira, Claudia author 2011 As the demands for modernized legacy systems rise, so does the need for frameworks for information integration and tool interoperability. The Object Management Group (OMG) has adopted the Model Driven Architecture (MDA), which is an evolving conceptual architecture that aligns with this demand. MDA could help solve coupling problems of multidisciplinary character in science and engineering that consist of one or more applications, supported by one or more platforms. The objective of this paper is to describe rigorous techniques to control the evolution from science & engineering software legacy systems to MDA technologies. We propose a rigorous framework to reverse engineering code in the context of MDA. Considering that validation, verification and consistency are crucial activities in the modernization of systems that are critical to safety, security and economic profits, our approach emphasizes the integration of MDA with formal methods. Àrees temàtiques de la UPC::Matemàtiques i estadística::Anàlisi numèrica::Mètodes en elements finits Finite element method Coupled problems (Complex systems) -- Numerical solutions Reverse Engineering, Model Driven Architecture, Software Modernization, Modeling, Reliability Elements finits, Mètode dels Modernizing science&engineering software systems