## 6 Conclusions and Future Work  
The developed SysML4 GDPSim profile supports the necessary concepts for modeling simulation systems to analyze manufacturing systems, especially those focused on the analysis of productivity and geometric quality. The formalization of these specific domain semantics supports the consistency assurance of models developed to analyze products and manufacturing systems during their design. Although the current state of the proposal addresses mainly intra-model consistency, this approach can also be applied to manage inter-model consistency between simulation models and specification models of the referent system. During this experience, both SysML and OCL have proven to be valid languages for creating DSML and supporting domain-specific semantics, implemented through rules defined in each concept. The proposed profile has been successfully applied in the development of libraries of reusable elements, which have been used in the development of a case study, highlighting the assurance of consistency supported by the proposed profile. Furthermore, since the proposed profile is a well-defined DSML with its own metamodel, it is possible to establish relationships with other languages and perform automatic transformations. Although this issue is out of the scope of this paper, transformation mechanisms presented in referenced works have been applied during the case study to obtain the executable simulation models. Based on the presented proposal, some future work lines are proposed to continue this research line. For example, the behavioral modeling in SysML must be deeply explored, reaching the formal and detailed level necessary to support the complete definition of simulation systems and to enable automatic transformation to executable models. Moreover, the proposed DSML can be extended to support alternative analysis, facilitating the definition of multidomain simulations integrating productivity analysis and other key aspects of manufacturing systems design. In a similar way, libraries can also be extended to support the analysis of other PPR systems, including other manufacturing processes (such as machining) or non-linear systems, in which more complex flows are considered. Finally, another future work line is the definition of the metamodel concepts with an ontological language such as ontology web language (OWL). This ontological approach would allow for consistency validation at both model and instance level (individuals in an ontological model) and the use of reasoners. **Author Contributions:** Conceptualization, S.B.-N., P.R.C. and F.R.S. ; methodology, S.B.-N. and F.R.S. ; software, S.B.-N. and P.R.C. ; validation, S.B.-N. and P.R.C. ; formal analysis, S.B.-N. and F.R.S. ; investigation, S.B.-N. and F.R.S. ; resources, S.B.-N.; data curation, S.B.-N.; writing--original draft preparation, S.B.-N., P.R.C. and F.R.S. ; writing--review and editing, P.R.C. ; visualization, S.B.-N.; supervision, P.R.C. and F.R.S. ; project administration, P.R.C. ; funding acquisition, P.R.C. All authors have read and agreed to the published version of the manuscript. **Funding:** This research was funded by \"Pla de Promocio de la Investigacio a l'UJI\" of UNIVERSITAT JAUME I. Project title: \"Metodologia para el modelado e implementacion del gemelo digital de un sistema de fabricacion multietapa orientado a la optimizacion del funcionamiento\". Reference: UJI-B2022-49. **Institutional Review Board Statement:** Not applicable. **Informed Consent Statement:** Not applicable. **Data Availability Statement:** The raw data supporting the conclusions of this article will be made available by the authors on request. **Conflicts of Interest:** The authors declare no conflicts of interest. **Appendix A**  
**Table A1. ** Description of main SSMPP stereotypes.