-         
                 Process modeling, analysis and enactment with the FTG+PM formalismOriginally developed for the sound composition and analysis of model transformation chains, the Formalism Transformation Graph + Process Model (FTG+PM) formalism provides versatile means to reason about the properties of complex engineering processes. This talk introduces the formalism in detail, samples from the numerous engineering cases the formalism has been successfully applied in before, and opens up a discussion about a related challenge in our research on digital twins for cyber-biophysical systems. Process modeling, analysis and enactment with the FTG+PM formalismOriginally developed for the sound composition and analysis of model transformation chains, the Formalism Transformation Graph + Process Model (FTG+PM) formalism provides versatile means to reason about the properties of complex engineering processes. This talk introduces the formalism in detail, samples from the numerous engineering cases the formalism has been successfully applied in before, and opens up a discussion about a related challenge in our research on digital twins for cyber-biophysical systems.Friday, July 08, 2022 @14h00 PA3195, Pav. André-Aisenstadt 

