Intent-Oriented Design Pattern Formalization Using SPQR