Reis, Rodrigo Quites; Reis, Carla Alessandra Lima; Schlebbe, Heribert; Nunes, Daltro José Automatic verification of static policies on software process models. (English) Zbl 1012.68591 Ann. Softw. Eng. 14, 197-234 (2002). Summary: Software Process Technology evolved to support software processes management by assisting the modeling, enacting and evolution of complex process models. This paper presents a contribution to this field, describing a mechanism to formally model Static Policies, which are useful to automate the verification of user-defined process syntactical properties. The proposed mechanism acts during software process modeling, promoting the reuse of policy instances across different processes in a software organization. In this text, the language for Static Policy definition is presented first through its informal description, followed by examples. This paper also discusses some of the main issues related to the formal (algebraic) semantics defined for the Policy interpreter, which based the implementation of a Java-based prototype. MSC: 68U99 Computing methodologies and applications 68N01 General topics in the theory of software 68N99 Theory of software Software:APSEE PDF BibTeX XML Cite \textit{R. Q. Reis} et al., Ann. Softw. Eng. 14, 197--234 (2002; Zbl 1012.68591) Full Text: DOI