Generating Alloy Specification by Kiramat Rahman