Towards an Environment to Support Requirements Formalisation
Resumo
A major issue in requirements engineering is how to bridge the gap between ill-defined application situations and production of precise, formal specification of functional requirements. Although various formal languages have been proposed in the literature, practitioners still have great difficulties specifying requirements in their chosen formal language. One way of overcoming this barrier is to integrate formal techniques with existing methodologies (CORE, OMT, etc) and providing tool support for building formal specifications incrementally. In this paper we present The Multiview Tool, which addresses the problem of capturing requirements in the context of formal specification. Multiview enables multiple stakeholders to express their viewpoints based on a number of interrelated models, written in a variety of different notations. A detailed description of the project of the Multiview is provided. We start with the System Interface Context Diagram and a general overview of the tool Domain. A critical part of this domain is elaborated in terms of an Information Model. We also show one of the metamodels supported by the tool (Object Class representation schema). Several Interface Prototypes are also presented, together with an Object Message Model for a specific scenario. Statecharts are used to represent the behaviour of editors supported by the tool.
Referências
Grady Booch. Object-Oriented Analysis and Design With Applications. The Benjamin/Cunnings Publishing Company, Inc., Redwood City, CA (USA), 1994.
Grady Booch and James Rumbaugh. Unified Method For Object Oriented Development - Documentation Set, Version 0.8. Rational Software Coorporation, 1995.
J. Bowen and M. Hinchey. Seven more myths of formal methods. IEEE Computer, pages 34-41, July 1995.
J. Bubenko, C. Rolland, P. Loucopoulos, and V. DeAntonellis. Facilitating "fuzzy to formal" requirements modeling. In Proceedings of the First Internacional Conference on Requirements Engineering - ICRE, pages 154-165, April 1994. Colorado Springs. USA.
J. Castro. The process of requirements formalisation : The formlab project. In in Proceedings of Information Systems Analysis and Synthesis - ISAS'95, Focus Symposium, 5th International Symposium on SYstems Research, Informatics and Cybernetics, pages 01-05, August 1995. Baden-Baden, Germany.
J. Castro and A. Finkelstein. VSCS: An Object Oriented Method for Requirements Elicitation and Formalisation. Technical Report Deliverable NFR/WP2.2/IC/R/002/A, Imperial College, Department of Computing, Formal Requirement Specification Techniques (FOREST) Research Project, October 1991. 107 pages.
J. Castro and A. Finkelstein. A method for requirements specification and formalisation. In XVIII Conferência Latino-Americana de Informática - PANEL'93, pages Vol. 1, pp-453-451, August 1993. Argentina.
J. Castro, C. Gautreau, and M. Toranzo. Multiview: An environment for requirements elicitation and formalisation. In In Proceedings of International Conference on Information Systems Analysis and Synthesis - ISAS'96 (to appear), July 1996. Orlando, USA.
J. Castro, C. Gautreau, and M. Toranzo. Multiview: An integrated environment to support requirements elicitation and formalisation. In Proceedings of XVI Congress of the Brazilian Computing Society, XXIII Seminar on Integrated Hardware and Software (SEMISH'96 - to appear), August 1996. Recife, Brazil.
D. Coleman, P. Arnold, S. Bodoff, and C. Dollin. Object-Oriented Development: The FUSION Method. Prentice-Hall, 1994.
A. Dardenne, S. Fickas, and A. van Lamsweerde. Goal-directed requirements acquisition. Science of Computer Programming, Vol. 20:3-50, 1993.
T. DeMarco. Structured Analysis and System Specification. Yourdon Press, New York, NY (USA), 1979.
E Dubois, P. DuBois, and M. Petit. ALBERT: An Agent-Oriented Language for building and eliciting requirements for real-time systems. In J. F. Nunamacker and R. H. Sprague, editors, Proc. of the 2th HICSS, volume 4, pages 713-722. IEEE Computer Society Press, January 1994.
M. Feather. Requirements Reconnoitering at the Juncture of Domain and Instance. In Proceedings of IEEE International Symposium on Requirements Engineering - RE93, pages 73-77, January 1993.
D. Harel. Statecharts: a visual formalism for complex systems. Science of Computer Programming, S(No. 3):231-274, June 1987.
S. Kent, T. Maibaum, and W. Quirk. Formally specifying temporal constraints and error recovery. In Proceedings of IEEE International Symposium on Requirements Engineering - RE93, pages 208-215, January 1993.
B. Nuseibeh, J. Kramer, and A. Finkelstein. A framework for expressing the relationship between multiple views in requirements specification. IEEE Transaction on Software Engineering, Vol. 20(No. 10):760-773, 1994.
ObjectStore. Release 4.0. reference manual. ObjectDesign, 1995.
Objectworks. Smalltalk release 4.1. reference manual. ParcPlace Systems, 1994.
J. Rumbaugh, M. Blaha, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice-Hall International, Englewood Cliffs, NJ(USA), 1991.
M. D. Ryan. Towards specifying norms. In First International Workshop on Deontic Logic in Computer Science, 1991.
M. D. Ryan, J. Fiadeiro, and T. Maibaum. Sharing actions and attributes in modal action logic. In T. Ito and A. Meyer, editors, Theoretical Aspects of Computer Software. Springer Verlag, 1991.
S. Shlaer and S. J. Mellor. Object-Life Cycles: Modeling the World in States. Yourdon Press, Englewood Cliffs, N.J., 1991.
A. van Lamsweerde, R. Darimont, and P. Massonet. Goal-directed elaboration of requirements for a meeting scheduler: Problems and lessons learnt. In Proceedings of the Second IEEE International Symposium on Requirements Engineering - RE95, pages 194-203, March 1995.
E. Yu and J. Mylopoulos. Understanding "why" in software process modelling, analysis and design. In Proceedings of the 16th International Conference on Software Engineering, ICSE'94, pages 159-168. IEEE CS Press, May 1994. Sorrento (Italy).
