Modeling TOGAF with SPEM
The OMG just released a report about an interdisciplinary case study of OMG and Open Group members to evaluate modeling the TOGAF (The Open Group Architecture Framework) ADM (Architecture Development Method) with OMG meta-models, in particular SPEM. It provides some good insights and examples for how SPEM can be utilized as a representation framework for systematically formalizing an informally described method. This report uses SPEM 1.1, but provides pointers to SPEM 2.0. One of the authors of this report actually has started a new project in which he captures parts of these models (and also more importantly the textual content) using EPF Composer, which you can find here.