By Michele Tucci
The classical problem in a roundtrip in performance modelling is that after the performance model is refactored based on the analysis, you need to propagate all changes back to the original model. In their study, they start with UML MARTE-DAM, which is based on state machines. These were translated to Stochastic Petri nets (GSPN), and after refactoring the GSPN, go back to the original models. For this, they introduce a set of model transformations that are bidirectional,
(And finally some Petri nets at a software architecture conference 🙂 )
ICSA 2018 Availability-driven Architectural Change Propagation through Bidirectional Model Transformations