Translation Of Alloy Design In Different Languages