Closing the Gap Between Organizational Requirements and Object Oriented Modeling
Resumo
Requirements Engineering has been considered a key activity in any Software Engineering process. It is well known that a requirements specification should include not only software specifications but also business models and other kinds of information describing the context in which the intended system will function. In recent years we have observed a growing influence of the object-orientation paradigm. Unfortunately, the current dominant object oriented modeling technique, i.e. Unified Modeling Technique, is ill equipped for modeling early requirements which are typically informal and often focus on Organizational objectives. UML is more suitable for later phases of requirements capture, which usually focus on completeness, consistency, and automated verification of functional requirements for the new system. In this paper, we present some guidelines for the integration of early and late requirements specifications. For the organizational modeling we use the i* framework, which focuses of the description of organizational relationships among various organizational actors, as well as an understanding of the rationale for the alternatives chosen. For the functional requirements specification, we rely on a precise subset of the Unified Modeling Language annotated with constraints described in the Object Constraint Language. A small example is used to illustrate how the requirements process iterates between the early and late requirements specification.
Referências
Jacobson, I., Booch, G. and Rumbaugh, J.: "Unified Software Development Process". Rational Software Corporation. Addison-Wesley Object Technology Series. Jan., 1999.
Yu, E: "Towards Modelling and Reasoning Support for Early-Phase Requirements Engineering". Proceedings of IEEE International Symposium on Requirements Engineering - RE97, pp.226-235, Jan. 1997.
Booch, G., Jacobson. I. and Rumbaugh, J.: "Unified Modeling Language User Guide". Rational Software Corporation. Addison-Wesley Object Technology Series. Jan., 1999.
Mylopoulos, J. Chung, L and Yu, E: ‘From Object-Oriented to Goal-Oriented Requirements Analysis’ Communications of the ACM. 42(1): 31-37, January 1999.
Yu, E. and Mylopoulos, J.. "Understanding 'Why' in Software Process Modeling, Analysis and Design". Proceedings Sixteenth International Conference on Software Engineering, Sorrento, Italy, May 1994.
Evans, A and Kent, S: "Core Meta-Modelling Semantics of UML: The pUML Approach". UML'99 — The Unified Modeling Language. Proceedings of <
Warmer, Jos B. and Kleppe, Anneke G.: "The Object Constraint Language: Precise Modeling with UML", Addison-Wesley Object Technology Series. March, 1999.
Yu, E: "Why Agent-Oriented Requirements Engineering". Proceedings of the 4th International Workshop on Requirements Engineering: Foundations of Software Quality, Pisa, Italy. E. Dubois, A.L. Opdahl, K. Pohl, eds. Presses Universitaires de Namur, 1998. pp. 15-22.
Alencar. F. M. R. "Mapping Organizational Modeling into Precise Specification" (In Portuguese). Centro de Informatica, Universidade Federal de Pernambuco, Recife. Brazil, Ph.D. Thesis. December 1999.
Precise UML Group, pUML: http://www.cs.york.uk/puml.
Chung, L. K., Nixon, B. A. Yu, E., Mylopoulos, J., Non-Functional Requirements in Software Engineering, Kluwer Publishing, 2000.
D'Souza, D. F. and Wills, A. C.: "Objects, Components, and Frameworks with UML: The CATALYSIS Approach". Addison-Wesley Object Technology Series. 1999.
van Lamsweerde, A. "Requiremenis Engineering in the year 00: A Research Perspective". Invited paper to ICSE'2000. Proc. 22nd International Conference on Software Engineering, Limerick, June 2000.
Boman, M., Bubenko, J., Johannesson, P. and Wangler, B. "Conceptual Modeling". Prentice Hall Series in Computer Science. 1997.
van Lamsweerde, A., Darimont, R. and Letier, E.: "Managing Conflicts in Goal-Drivel Requirements Engineering". IEEE Transaction on Software Engineering, Special Issue on Inconsistency Management in Software Development, November 1998.
Castro, J.. Kolp, M. and Mylopoulos, J., Developing Agent-Oriented Information Systems for the Enterprise. Proceedings of theSecond International Conference On Enterprise Information Systems (ICEIS00), Stafford, UK, July 2000.
Mylopoulos, J. and Castro, J., "Tropos: A Framework for Requirements-Driven Software Development", Brinkkemper, J. and Solvberg, A. (eds.), Information Systems Engineering: State of the Art and Research Themes, Springer-Verlag, June 2000, pp 261-273.
Petit, M.: Formal Requirements Engineering of Manufacturing Systems: "A Multi-Formalism and Component-Based Approach". Computer Science Departament University of Namur, Namur, Belgium, Ph. D. Thesis, 1999.
Mylopoulos, J., Chung, L., Liao, S.. Wang, H. and Yu, E.: "Extending Object-Oriented Analysis to Explore Alternatives". IEEE Software (to appear).
Marshal, C.: Enterprise Modeling with UML: Designing Successful Software through Business Analysis. Addison-Wesley Object Technology Series. 2000.
