A formal theory for heavyweight software process paradigm

In order to guide software process and achieve the desired goals, heavyweight software process paradigm provides steps, activities, models and corresponding restraint mechanisms for software process. However, related literatures lack in-depth study of its theory. The article begins with a brief analysis of its elements and their relationships; secondly, its theory was studied based on first order predicate logic, such as grammar, structure, semantics and corresponding axiom. The exploration is expected to fill gaps in related researches, and can be taken as basis for standardization of software process.