Abstract
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.
This work is supported by CICYT (Project DOLMEN-SIGLO) TIC2000-1673-C06-01.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
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-111
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)
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)
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)
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
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)
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)
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)
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
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Letelier, P., Sánchez, P. (2003). Validation of UML Classes through Animation. In: Olivé, A., Yoshikawa, M., Yu, E.S.K. (eds) Advanced Conceptual Modeling Techniques. ER 2002. Lecture Notes in Computer Science, vol 2784. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45275-1_27
Download citation
DOI: https://doi.org/10.1007/978-3-540-45275-1_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20255-4
Online ISBN: 978-3-540-45275-1
eBook Packages: Springer Book Archive