##TOSCA To HOT Translation##