BDBComp
Parceria:
SBC
APSEE-StaticPolicy: verificação de políticas estáticas em modelos de processos de software

Rodrigo Quites ReisCarla Alessandra Lima ReisDaltro José Nunes

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.

http://www.lbd.dcc.ufmg.br:8080/colecoes/sbes/2001/004.pdf

Caso o link acima esteja inválido, faça uma busca pelo texto completo na Web: Buscar na Web

Biblioteca Digital Brasileira de Computação - Contato: bdbcomp@lbd.dcc.ufmg.br
     Mantida por:
LBD