Software Process Technology evolved to support software processes management. This paper presents a contribution to this field, describing a mechanism to formally model Static Policies, which are useful to automate the verification of processes properties. The proposed mechanism acts during software process modeling, allowing Policy reuse across different processes under enaction of a Process Centered Software Engineering Environment (PSEE). In this text, the language for StaticPolicy definition is presented first though an informal description, followed by a couple of examples. This paper also discusses some of the main issues related to the formal (algebraic) semantics defined for the Policy interpreter which was used as a base to implement a Java-based prototype in a PSEE.