In recent decades, Model-Driven Engineering (MDE) practices have continuously aided the adoption of system analysis approaches like simulation, formal analysis and enactment by non-expert users. However, due to limited portability of models between different approaches, exhaustive analysis of complex systems still depend largely on creating disparate models designated for different analysis goals to get complementary solutions to the problem. Productivity and efficiency of the process can be greatly improved by integrating the different approaches in a framework which offers a unified model-ing interface and automated synthesis of all required artifacts. This paper suggests a framework as a roadmap for further research towards realizing this goal. First we present the architecture of the framework, then we present the steps to build the syntax of the unified formalism at its kernel and an illustrative case study as a proof of concept for the proposal.