Validation of UML Classes through Animation
- 408 Downloads
Animation is the validation of formal software specifications by means of automatically generated prototypes. Animation is an effective way of validating a specification against the stakeholder requirements. OASIS is a formal language for conceptual modeling. We have carried out experiments animating OASIS specifications. In this work we take advantage of our experi-ence animating OASIS specifications to provide animation support for UML classes. We illustrate that it is possible to use OASIS as a formal semantic framework for UML specifications. Obviously, OASIS does not cover as many model aspects as UML. We will concentrate on some UML diagrams, particu-larly in classes modeled in class diagrams to validate them through animation. To explain our approach, we give an example of a bank account and we show its UML model and its corresponding OASIS specification. Our aim is to build a module for animation and validation of specifications integrated in a CASE tool. We present a prototype of this module.
KeywordsClass Diagram Activity Diagram Requirement Engineer Deontic Logic Case Tool
Unable to display preview. Download preview PDF.
- 2.Gibson, P.: Formal object oriented requirements: Simulation, validation and verification. In: Proceedings: European Simulation Multi-conference, ESM 1999, Warsaw, Poland (June 1999); Also published In: Modelling and Simulation: A tool for the next millennium, vol II. SCS, pp. 103-111Google Scholar
- 3.Haumer, P., Heymans, P., Pohl, K.: An Integration of Scenario-Based Requirements Elicitation and Validation Techniques. Technical Report CREWS 1998-1928, Cooperative Requirements Engineering with Scenarios (1998)Google Scholar
- 4.Letelier, P., Ramos, I., Sánchez, P., Pastor, O.: OASIS 3.0: Object oriented Conceptual Modeling using a Formal Approach. Servicio de Publicaciones Universidad Politécnica de Valencia, SPUPV-98.4011 (1998) (in Spanish)Google Scholar
- 6.Maiden, N.A.M.: Scenarios for Acquiring and Validating Requirements. Cooperative Requirements Engineering with Scenarios, Technical Report CREWS 98-03 (1998), http://sunsite.informatik.rwth-aachen.de/CREWS/reports98.html
- 10.Sánchez, P., Letelier, P., Ramos, I.: Validation of Conceptual Models by Animation in a Scenario-based Approach. In: Proceedings of OOPSLA 2000 Workshop: Scenario-based round-trip engineering, Systä, T.:(Ed.), Report 20, pp. 32-37, Tampere University of Technology, Software Systems Laboratory.Minneapolis, Minnesota USA (2000), http://www.cs.uta.fi/~cstasy/oopsla2000/schedu-le.html
- 12.Siddiqi, J., Morrey, N.A.M., Roast, C.R., Ozcan, M.B.: Towards quality requirements via animated formal specifications. Annals of Software Engineering (3) (1997)Google Scholar