Alloy View XML to tss generator