Automatic Verification of Static Policies on Software Process Models

  • Authors:

  • Rodrigo Quites Reis;Carla Alessandra Lima Reis;Heribert Schlebbe;Daltro José nunes

  • Affiliations:

  • Department of Informatics, Federal University of Pará (UFPA), Campus Universitário do Guamá, Belém, PA, 66075-110 Brazil quites@computer.org;Department of Informatics, Federal University of Pará (UFPA), Campus Universitário do Guamá, Belém, PA, 66075-110 Brazil clima@ufpa.br;Faculty of Computer Science, University of Stuttgart, Breitwiesenstr. 20-22, Stuttgart, 70565 Germany schlebbe@informatik.uni-stuttgart.de;Institute of Informatics, Federal University of Rio Grande do Sul (UFRGS), Campus do Vale, Bloco IV, Porto Alegre, RS, 91501-970 Brazil daltro@inf.ufrgs.br

  • Venue:
  • Annals of Software Engineering
  • Year:
  • 2002

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.