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
@inproceedings{wer199814, author = {Alencar, F. M. R. D. and Castro, J. F. B.}, title = {Guidelines From Organizational Requirements to Formal Specification}, booktitle = {Anais do Workshop em Engenharia de Requisitos - Proceedings of the 1st Workshop on Requirements Engineering (WER1998)}, year = {1998}, issn = {2675-0066}, isbn = {}, doi = {} }