Before revision: Alloy ( pasiduravinthalanguage ) is a general purpose specification language for expressing complex structural constraints and behavior in a software system.
After revision: Alloy ( specification language ) is a general purpose specification language for expressing complex structural constraints and behavior in a software system.