A Formal Language for the Expression of Pattern Compositions