WER1998 - 1st Workshop on Requirements Engineering


Guidelines From Organizational Requirements to Formal Specification

Fernanda M. R. de Alencar; Jaelson F. B. Castro

PDF Scholar

Abstract

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.

Keywords: Organizational Learning; Requiremen ts Formalization; Formal Specification