Added associativity and composition constraints to ASM-CSM mapping DSL