formalizing-ms-patterns