zbMATH — the first resource for mathematics

Automatic verification of static policies on software process models. (English) Zbl 1012.68591
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.
68U99 Computing methodologies and applications
68N01 General topics in the theory of software
68N99 Theory of software
Full Text: DOI