Modernizing software & system engineering processes

There is an increased demand of reengineering of legacy systems that are still business-critical in order to extend their useful lifetime. The success of system modernization depends on the existence of technical frameworks for information integration and tool interoperation like the Model Driven Architecture (MDA). Validation, verification and consistency are crucial activities in the modernization of systems that are critical to safety, security and economic profits. This paper contributes an MDA-based framework for modernizing systems. We propose an integration of compiler techniques, metamodeling techniques and formal specification to define rigorous software reengineering processes.