Translation Of Alloy Process In Different Languages