Integrating Early and Late-Phase Requirements: A Factory Case Study
Resumo
Requirements Engineering (RE) is getting more attention as it has been recognized as a crucial phase in the development of the software system life cycle. Recent works have made a distinction between early-phase RE and later-phase RE. Early-phases RE activities are typically informal and addresses non-functional requirements. The later-phase RE usually focuses on completeness, consistency, and automated verification of requirements. In this paper, we show how early and late requirements specifications can be integrated. For the organization modeling we use the i* technique [1], which 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 Structured Modal Action Logic - MAL [2]. Some guidelines are presented for the integration of the two phases. Throughout the paper, we make use of a mineral water factory as an example, to describe the approach.
Palavras-chave:
Requirements Specification, Early and Late Requirements, Organizational Learning, Requirements Formalization
Referências
E. S. K. Yu "Towards Modelling and Reasoning Support for Early-Phase Requirements Engineering". Proceedings of IEEE International Symposium on Requirements Engineering - RE97, p.226-235, Jan. 1997.
S. Kent, T. Maibaum, and W. Quirk. "Formally Specifying Temporal Constraints and Error Recovery". Proceedings of IEEE International Symposium on Requirements Engineering - RE93, p.208-215, Jan. 1993.
Berry, Daniel. "The Requirement Iceberg and Various Icepicks Chipping at it". VIII Simpósio Brasileiro de Engenharia de Software. Curitiba - PR, Brasil. 25-28 Out., 1994.
Loucopoulos, P. and Karakostas, V. "System Requirements Engineering". McGraw-Hill Book Company. 1995.
Eric Yu, P. Bois and J. Mylopoulos. "From Organization Models to System Requirements - A Cooperating Agents Approach". The 3rd International Conference on Cooperative Information Systems - CoopIS-95, Vienna (Austria), May, 2-9, 1995.
Eric Yu and John Mylopoulos. "Capturing Intentions for Business Process Reengineering". IX Simpósio Brasileiro de Engenharia de Software, Recife - PE - Brasil, pp. 03-21, 03-06 Out., 1995.
A Dardenne, A van Lamsweerde, and S. Fickas. "Goal-directed Requirements Acquisition". Science of Computer Programming, 20:3-50, 1993.
Janis A Bubenko. "On Concepts and Strategies for Requirements and Information Analysis". In Information Modeling, p. 125-169. Chartwell-Brant, 1993.
Thomas W. Malone and Kevin Crowston. "The Interdisciplinary Study of Coordination". Computing Surveys, 26:87-119, Mar. 1994.
María Carmem Leonardi, Julio Cesar S. do Prado Leite e Gustavo Rossi. "Estrategias para la identificación de Reglas de Negocio (in Spanish). XII Simpósio Brasileiro de Engenharia de Software, Maringá - PR - Brasil, pp. 53-67, 13-16 Out., 1998.
Luiz M. Cysneiros e Julio Cesar S. do Prado Leite. "Definindo Requisitos Não-Funcionais (in Portuguese)". XI Simpósio Brasileiro de Engenharia de Software, Fortaleza - CE - Brasil, pp. 49-64, 13-17 Out., 1997.
E. Dubois, P. Du Bois and M. Petit. "O-O Requirements Analysis: an Agent Perspective". In O Nierstraz, editor, Proc. Of the 7th European Conference on Object-Oriented Programming - ECOOP'93, p. 458-481, Kaiserslautern, Germany, Jul. 26-30, 1993.
Roel Wieringa and E. Dubois. "Integrating Semi-Formal and Formal Software Specification Techniques". In Matthias Jarke (Germany) and Dennis Shasha (USA) editors, Information Systems Vol. 23, No. 2/4, pp. 159-178, May/June 1998, Published by Elsevier Science Ltd.
Emanuele Ciapessoni, A Coen-Porisini, E. Crivelli, D. Mandrioli, P. Mirandola, A Morzenti. "From Formal Models to Formally-based Methods: an Industrial Experience". To appear in ACM Transactions on Software Engineering and Methodologies.
Rumbaugh, J., Jacobson, I. and Booch, G.. "The Unified Modeling Language Reference Manual". Addison-Wesley Object Technology Series. December, 1998.
Warmer, Jos B. and Kleppe, Anneke G.. "The Object Constraint Language: Precise Modeling with UML". Addison-Wesley Object Technology Series. March, 1999.
Eric S. K. Yu, "Why Agent-Oriented Requirements Engineering". REFSQ'97 - Requirements Engineering: Foundation of Software Quality, Barcelona, and June 1997.
A. Finkelstein and C. Potts. "Building Formal Specifications using Structured Common Sense". In. Proc. of the 4th International Workshop on Software Specification and Design - IWSSD'87, p. 108-113, Monterey, CA, April 3-4, 1987. IEEE, CS Press.
Castro, J. B., Toranzo, M. A. and Gautreau, C.. "Tool Support For Requirements Formalisation". International Workshop on Multiple Perpective in Software Development. San Francisco, USA. pp. 202-206. Out., 1996.
Castro, J. B. and Toranzo, M. A.. "Tool Software Quality: Multiview Case". Third International Workshop on Requirements Engineering: Foundation for Software Quality - REFSQ'97. Barcelona, Espanha. pp. 107-118. June 16-17, 1997.
S. Kent, T. Maibaum, and W. Quirk. "Formally Specifying Temporal Constraints and Error Recovery". Proceedings of IEEE International Symposium on Requirements Engineering - RE93, p.208-215, Jan. 1993.
Berry, Daniel. "The Requirement Iceberg and Various Icepicks Chipping at it". VIII Simpósio Brasileiro de Engenharia de Software. Curitiba - PR, Brasil. 25-28 Out., 1994.
Loucopoulos, P. and Karakostas, V. "System Requirements Engineering". McGraw-Hill Book Company. 1995.
Eric Yu, P. Bois and J. Mylopoulos. "From Organization Models to System Requirements - A Cooperating Agents Approach". The 3rd International Conference on Cooperative Information Systems - CoopIS-95, Vienna (Austria), May, 2-9, 1995.
Eric Yu and John Mylopoulos. "Capturing Intentions for Business Process Reengineering". IX Simpósio Brasileiro de Engenharia de Software, Recife - PE - Brasil, pp. 03-21, 03-06 Out., 1995.
A Dardenne, A van Lamsweerde, and S. Fickas. "Goal-directed Requirements Acquisition". Science of Computer Programming, 20:3-50, 1993.
Janis A Bubenko. "On Concepts and Strategies for Requirements and Information Analysis". In Information Modeling, p. 125-169. Chartwell-Brant, 1993.
Thomas W. Malone and Kevin Crowston. "The Interdisciplinary Study of Coordination". Computing Surveys, 26:87-119, Mar. 1994.
María Carmem Leonardi, Julio Cesar S. do Prado Leite e Gustavo Rossi. "Estrategias para la identificación de Reglas de Negocio (in Spanish). XII Simpósio Brasileiro de Engenharia de Software, Maringá - PR - Brasil, pp. 53-67, 13-16 Out., 1998.
Luiz M. Cysneiros e Julio Cesar S. do Prado Leite. "Definindo Requisitos Não-Funcionais (in Portuguese)". XI Simpósio Brasileiro de Engenharia de Software, Fortaleza - CE - Brasil, pp. 49-64, 13-17 Out., 1997.
E. Dubois, P. Du Bois and M. Petit. "O-O Requirements Analysis: an Agent Perspective". In O Nierstraz, editor, Proc. Of the 7th European Conference on Object-Oriented Programming - ECOOP'93, p. 458-481, Kaiserslautern, Germany, Jul. 26-30, 1993.
Roel Wieringa and E. Dubois. "Integrating Semi-Formal and Formal Software Specification Techniques". In Matthias Jarke (Germany) and Dennis Shasha (USA) editors, Information Systems Vol. 23, No. 2/4, pp. 159-178, May/June 1998, Published by Elsevier Science Ltd.
Emanuele Ciapessoni, A Coen-Porisini, E. Crivelli, D. Mandrioli, P. Mirandola, A Morzenti. "From Formal Models to Formally-based Methods: an Industrial Experience". To appear in ACM Transactions on Software Engineering and Methodologies.
Rumbaugh, J., Jacobson, I. and Booch, G.. "The Unified Modeling Language Reference Manual". Addison-Wesley Object Technology Series. December, 1998.
Warmer, Jos B. and Kleppe, Anneke G.. "The Object Constraint Language: Precise Modeling with UML". Addison-Wesley Object Technology Series. March, 1999.
Eric S. K. Yu, "Why Agent-Oriented Requirements Engineering". REFSQ'97 - Requirements Engineering: Foundation of Software Quality, Barcelona, and June 1997.
A. Finkelstein and C. Potts. "Building Formal Specifications using Structured Common Sense". In. Proc. of the 4th International Workshop on Software Specification and Design - IWSSD'87, p. 108-113, Monterey, CA, April 3-4, 1987. IEEE, CS Press.
Castro, J. B., Toranzo, M. A. and Gautreau, C.. "Tool Support For Requirements Formalisation". International Workshop on Multiple Perpective in Software Development. San Francisco, USA. pp. 202-206. Out., 1996.
Castro, J. B. and Toranzo, M. A.. "Tool Software Quality: Multiview Case". Third International Workshop on Requirements Engineering: Foundation for Software Quality - REFSQ'97. Barcelona, Espanha. pp. 107-118. June 16-17, 1997.
Publicado
13/10/1999
Como Citar
ALENCAR, Fernanda Maria Ribeiro de; CASTRO, Jaelson F. Brelaz.
Integrating Early and Late-Phase Requirements: A Factory Case Study. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 13. , 1999, Florianópolis/SC.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
1999
.
p. 33-47.
DOI: https://doi.org/10.5753/sbes.1999.23913.
