Validation of UML Classes through Animation

  • Patricio Letelier
  • Pedro Sánchez
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2784)


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.


Class Diagram Activity Diagram Requirement Engineer Deontic Logic Case Tool 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Filippidou, D., Loucopoulos, P.: Using Scenarios to Validate Requirements in a Plausibility-centered Approach. In: Olivé, À., Pastor, J.A. (eds.) CAiSE 1997. LNCS, vol. 1250, pp. 47–60. Springer, Heidelberg (1997)CrossRefGoogle Scholar
  2. 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. 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. 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
  5. 5.
    Letelier, P., Sánchez, P., Ramos, I.: Prototyping a requirements specification through an automatically generated concurrent logic program. In: Gupta, G. (ed.) PADL 1999. LNCS, vol. 1551, pp. 31–45. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  6. 6.
    Maiden, N.A.M.: Scenarios for Acquiring and Validating Requirements. Cooperative Requirements Engineering with Scenarios, Technical Report CREWS 98-03 (1998),
  7. 7.
    Meyer, J.-J.C.: A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic. In Notre Dame Journal of Formal Logic 29, 109–136 (1988)zbMATHCrossRefGoogle Scholar
  8. 8.
    Mokhtari, Y., Merz, S.: Animating TLA specifications. In: Ganzinger, H., McAllester, D., Voronkov, A. (eds.) LPAR 1999. LNCS, vol. 1705, pp. 92–110. Springer, Heidelberg (1999)CrossRefGoogle Scholar
  9. 9.
    Rolland, C., Ben Achour, C., Cauvet, C., Ralyté, J., Sutcliffe, A., Maiden, N.A.M., Jarke, M., Haumer, P., Pohl, K., Dubois, E., Heymans, P.: A Proposal for a Scenario Classification Framework. Requirements Engineering Journal 3(1), 23–47 (1998)CrossRefGoogle Scholar
  10. 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),
  11. 11.
    Sánchez, P., Letelier, P., Ramos, I.: Animating Formal Specifications with Inheritance in a DL-based Framework. Journal of Requirements Engineering 4(4), 198–209 (1999)CrossRefGoogle Scholar
  12. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Patricio Letelier
    • 1
  • Pedro Sánchez
    • 2
  1. 1.Department of Information Systems and ComputationTechnical University of ValenciaValenciaSpain
  2. 2.Department of Information Technologies and CommunicationsTechnical University of CartagenaCartagenaSpain

Personalised recommendations