Facilitating Model–Based Design and Evaluation for Sustainability
Natasha Jarus, Sahra Sedigh, Ali R. Hurson · 2018
Relating various models of a system is an essential part of model transformation, model composition, and other metamodeling tasks. The objective of this doctoral research is to create a provably correct approach to this problem.