Abstract
Animation is a multiple graphical view of a process in action. Animation has been successfully employed in programming for designing, developing and debugging programs or monitoring their performance.
This paper advocates that many benefits can be accrued from the use of visualisation techniques for the purpose of validating conceptual specifications during Requirements Engineering.
To this end, the paper describes a visualisation system which makes use of three interrelated conceptual models and their metamodel represented uniformly in a repository and an animation algorithm which generates graphical views corresponding to the behaviour of an application domain as specified by the conceptual models.
Keywords
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.
Download to read the full chapter text
Chapter PDF
References
Baeckcr, R.M., An Application Overview of Program Visualization, Computer Graphics, 20, 4: 325, 1986.
Batini, C., T. Catarci, M.F. Constabile and S. Levialdi, Visual Query Systems, Universita degli Studi di Roma La Sapienza, Report, 04.91, March, 1991.
Bentley, J.L. and B.W. Kernighan, A System for Algorithm Animation: Tutorial and User Manual, AT&T Bell Laboratories, Technical Report Computer Science, 132, January, 1987.
Brown, M.H., Perspectives on Algorithm Animation, CHI'88: Human Factors in Computing Systems, Washington, D.C., 33–38, 1988.
Brown, M.H., Hershberger, J., Animation of Geometric Algorithms: A Video Review, DEC Systems Research Center, Research Report, 87a, June 6, 1992.
Brown, M.H. and R. Sedgewick, A System for Algorithm Animation, ACM Computer Graphics, 18, 3: 177–186, 1984.
Brown, M.H. and R. Sedgewick, Techniques for Algorithm Animation, IEEE Software, 28–39, 1985.
Cauvet, C., C. Proix and C. Rolland, Information Systems Design: an Expert System Approach, Artificial Intelligence in Databases and Information Systems (DS∼3), R. A. Meersman, Z. Shi and C. H. Kung, Canton, China, North-Holland, 1–28, 1988.
Clemons, E.K. and A.J. Greenfield, The SAGE system Architecture: A System for the Rapid development of Graphics Interfaces for Decision Support, IEEE Computer graphics and Applications, 5, 11: 38–50, 1985.
Edel, M., The Tinkertoy Graphical Programming Environment, COMPSAG, IEEE, 466–471, 1986.
Eick, C.F., Metoden und Rechnergestütze Werkzuege für den Logischen Databankentwurf Dept of Informatics, University of Karlsrue, 1984.
Falkenberg, E.D., Information Modelling — Subjective Forever, Database dag, Eindhoven, 1989.
Hirakawa, M., S. Iwata, I. Yoshimoto, M. Tanaka and T. Ichikawa, An Environment for HI_VISUAL Iconic Programming, Workshop on Visual Languages, 305–314, 1987.
Kangassalo, H., Concept-D: A Graphical Language for Conceptual Modelling and Data Base Use, Workshop on Visual Languages, IEEE, 2–11, 1988.
Katsouli, E., Verification and Validation for Rule-based Requirements Specifications MSc Thesis, UMIST, 1992.
Kramer, J. and K. Ng, Animation of Requirements Specification, SPE, 18, 8: 749–774, 1988.
Lalioti, V., Jasmine: A cinematographic representation of algorithms MSc Thesis, University of Crete, Iraklion, GREECE, 1990.
London, R.L. and Duisberg, Animating Programs Using Smalltalk, Computer, August 61–71, 1985.
Loucopoulos, P., P. McBrien, F. Schumacker, B. Theodoulidis, V. Kopanas and B. Wangler, Integrating database technology, rule-based systems and temporal reasoning for effective information systems: the TEMPORA paradigm, Journal of Information Systems, 1, 2, April: 129–152, 1991.
Myers, B.A., Visual Programming, Programming by Example, and Program visualization: a Taxonomy, SIGCHI '86 Conference on human Factors in computing Systems, ACM, 59–66, 1986.
Nierstrasz, O., D. Tsichritzis, V. de Mey and M. Stadelmann, Objects + Scripts = Applications, ESPRIT '91, Brussels, 534–552, 1991.
Nijssen, H., Conceptual Schema and Relational Databases-A Fact-Oriented Approach, Prentice Hall, 1989.
Osborne, W., M., Fitting pieces to the maintenance puzzle, IEEE Software, January: 11–12, 1990.
Pietri, F., Puncello, P.P., Torrigiani, P., Casale, G., Innocenti, M.D., Ferrari, G., Pacini, G., Turini, F., ASPIS: A Knowledge-Based Environment for Software Development, ESPRIT '87: Achievements and Impact, North Holland, 375–391, 1987.
Reiss, S.P., PECAN: Program Development Environments that support Multiple Views, IEEE Transactions on software Engineering, 11, 3: 276–285., 1985
Roman, G. and K.G. Cox, A Declarative Approach to Visualizing Concurrent Computations, Computer, October: 25–36, 1989.
Shu, N.C., FORMAL: A Forms-Oriented and Visual-Directed Application System, IEEE Computer, 18, August: 38–49, 1985.
Shu, N.C., A Visual Programming Language Designed for Automatic Programming, 21st Hawaii International Conference on System Sciences (HICSS-21), Hawaii, IEEE, 2 Software Track: 662–671, 1988.
Smart, J.C. and V. Vemuri, A-Vu: A Visualization Tool for Complex Software Systems, IEEE, August 172–182, 1992.
Smith, D.C., C. Irby, R. Kimball, W. Verplank and E. Harslem, Designing the Star User Interface 7: 242–282, 1982.
Theodoulidis, C., P. Loucopoulos and B. Wangler, A Conceptual Modelling Formalism for Temporal Database Applications, Informations Systems, 16, 4:401–416, 1991.
Tsalgatidou, A., Dynamics of Information Systems Modelling and Verification, PhD Thesis UMIST, Manchester, UK, 1988.
Wallace, D.R., Fujii, R.U., Software Verification and Validation: An Overview, IEEE Software, May 1989.
Wohed, R., Diagnosis of Conceptual Schemas, Artificial Intelligence in Databases and Information Systems (DS∼3), Proc. IFIP Working Conference on The Role of Artificial Intelligence in Databases and Information Systems, R. A. Meersman, Z. Shi and C. H. Kung, Canton, PR China, North-Holland, 437–456, 1988.
Zloof, M.M., A Language for Office and Business Automation, AFIPS Office Automation Conference Digest, AFIPS Press, 249–260, 1980.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lalioti, V., Loucopoulos, P. (1993). Visualisation for validation. In: Rolland, C., Bodart, F., Cauvet, C. (eds) Advanced Information Systems Engineering. CAiSE 1993. Lecture Notes in Computer Science, vol 685. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56777-1_8
Download citation
DOI: https://doi.org/10.1007/3-540-56777-1_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56777-6
Online ISBN: 978-3-540-47735-8
eBook Packages: Springer Book Archive