P. E.B. et al.,  A set of well-formedness rules to checking the consistency of the software processes based on SPEM 2.0, 2012