BDBComp
Parceria:
SBC
Guidelines From Organizational Requirements to Formal Specification

Fernanda M. R. de AlencarJaelson F. B. Castro

In this work we present some guidelines for the integration of organizational requirements and functional requirements of sys tem. For the organization modeling we use the i* technique, it allows a better description of the organizational relationships among the various agents of a system as well as an understanding of the rationale of the decisions taken. For the formal functional specification of the requirements we use at present Structured Modal Action Logic (MAL). We demonstrate the approach by means of an example of a mineral water factory

http://wer.inf.puc-rio.br/WERpapers/artigos/artigos_WER98/alencar.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