Model Transformation and Property Preservation in Rigorous Software Development

Model-driven development (MDD) is an integral methodology for developing complex software systems, where model transformation plays a vital role in enhancing and modifying these models. However, ensuring consistent preservation of desired characteristics during these transformations remains a significant challenge, leading to potential inconsistencies and deficiencies in the final system. This research aims to address this challenge by introducing a novel Property Preservation Framework (PPF) that focuses on preserving both functional and non-functional properties during model transformations. We also propose a framework for preserving non-functional requirements (NFRs) in goal models, using meta-models of the software product lines (SPL). Through a systematic literature review and the analysis of several research studies published between 2000 and 2024, this research identifies the major challenges and benefits of model transformation and property preservation