A set of well-formedness rules to checking the consistency of the software processes based on SPEM 2.0

Abstract

Considering the need to avoid errors in a software process, this paper proposes checking it before enactment. Process checking is the activity of verifying the correctness and the consistency of a process. In this paper, process checking is made from a set of well-formedness rules specified from the SPEM 2.0 metamodel. The well-formedness rules are described using the Unified Modeling Language - UML multiplicity and First-Order Predicate Logic - FOLP and their use and evaluation are made using a part of the OpenUP process. © 2012 Springer-Verlag.