where hosted systems are independently modeled by system owners and allocated to the IMA platform by the IMA system integrator.This paper details a novel method for auto-deriving and generating a ...