Update and comment Alloy model