Seminar logo

  • Photo of Istvan DAVID
    Process modeling, analysis and enactment with the FTG+PM formalism
    Originally 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.
    Calendar icon Friday, July 08, 2022 @14h00 PA3195, Pav. André-Aisenstadt