Towards a theory for the animation of algebraic specifications | SpringerLink
Skip to main content
Springer Nature Link
Log in

Towards a theory for the animation of algebraic specifications

  • Contributed Papers
  • Conference paper
  • First Online:
Recent Trends in Data Type Specification (ADT 1992, COMPASS 1992)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 785))

  • 153 Accesses

Abstract

Conceptual ideas are developed to provide algebraic specifications with animation, i.e. graphics — possibly moving — of datas and their operations.

We are convinced that animation

  • helps to understand algebraic specifications easier

  • supports error detection

  • supports the operational view

  • and improves the acceptance of specifications.

In our theory we emphasize the connection between building the terms of a specification and visualizing this term. To achive this we assign to every constant in the signature of the specification SPEC = (SIG,E) a graphic and to every operation in SIG instructions, how to manipulate the argument graphs. The assignment between terms and graphs is realized as an implementation, especially a graphical implementation by so called basic graphic algebra BaGrA, where all the graphical basic operations like linedrawing etc. and other types, are collected. The graphical implementation is compatible with the actualization of parameterized specifications. An example is given to visualize our ideas of animation.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Roswitha Bardohl Konzept und Implementierung der Sprache GVT zur graphischen Visualisierung von Termen algebraischer Spezifikationen; Diplomarbeit an der TU Berlin, Mai1993

    Google Scholar 

  2. Jon L. Bentley, Brian W. Kernighan A System for Algorithm Animation; Computing Systems, Vol. 4, No. 1, 1991, pp. 5–30

    Google Scholar 

  3. Tommaso Bolognesi, Diego Latella Techniques for the formal definition of the G-LOTOS syntax; in: Participant's Proceedings of the Ninth IFIPWWG 6.1, 6–9 June 1989, pp. 1–14. University of Twente — Enschede.

    Google Scholar 

  4. Marc H. Brown Exploring Algorithms Using Balsa-II; IEEE Computer, May 1988, pp. 14–36.

    Google Scholar 

  5. Ingo Claßen, Martin Große-Rohde, Uwe Wolter Categorical Concepts for Parameterized Partial Specifications; TU Berlin report no. 92-42

    Google Scholar 

  6. Ingo Claßen, Michael Löwe Algebraic Development of a syntax directed Editor; TU Berlin report no. 9o/37

    Google Scholar 

  7. H. Ehrig, M. Größe-Rhode Structural Theory of Algebraic Specifications in a Specification logic, part 1: Functorial parameterized specifications; TU Berlin, report no. 91/23, oct.91

    Google Scholar 

  8. H.-D. Ehrich, M. Gogolla, U.W. Lipeck Algebraische Spezifikationen abstrakter Datentypen Leitfäden und Monographien der Informatik; Teubner, Stuttgart, 1989

    Google Scholar 

  9. H. Ehrig, H.-J. Kreowski Compatibility of parameter passing and implementation of parameterized data types Theoretical Computer Science 27 (1983), pp. 255–286

    Google Scholar 

  10. H. Ehrig, H.-J. Kreowski, B. Mahr, P. Padawitz Algebraic implementation of abstract data types; TCS 20 (1982), pp. 209–263

    Google Scholar 

  11. H.Ehrig; B.Mahr Fundamentals of Algebraic Specifications 1, Equations and Initial Semantics EATCS Monograph on Theoretical Computer Sciences, Vol. 6, Springer Verlag 1985

    Google Scholar 

  12. J.A.Gougen Programming by Generic Example; in: Steven Kartashev and Svetlana Kartashev, (eds.), Proc. 2nd Int. Supercomputing Conf.1987, Vol.I, pp. 209–216

    Google Scholar 

  13. Alessandro Giacalone, Scott A. Smolka Integrated Environments for Formally Well-founded Design and Simulation of Concurrent Systems; IEEE Transactions on Software Engineering, Vol. 14, No.6, (1988), pp. 787–801

    Google Scholar 

  14. Kenneth M. Kahn, Vijay A. Saraswat Complete visualizations of concurrent programs and their executions; IEEE Workshop on Visual Languages, June 1990, Skokie,Illinois, USA, pp. 227–232

    Google Scholar 

  15. Gudrun König, Lutz Wrage Grundkonzepte und Implementierung einer graphischen Darstellung von algebraisch spezifizierten Datentypen; Diplomarbeit an der TU Berlin, 1991

    Google Scholar 

  16. Michael Löwe Extended Algebraic Graph Transformation; PhD-thesis at the TU Berlin 1991

    Google Scholar 

  17. Thomas G. Moher PROVIDE: A Process Visualization and Debugging Environment; IEEE Transactions on Software Engineering, Vol. 14, No.6, June 1988, pp. 849–857

    Google Scholar 

  18. Brad A. Myers Invisible Programming; IEEE Workshop on Visual Languages, June 1990, pp. 203–208

    Google Scholar 

  19. Darren New, Paul D. Amer Adding Graphics and Animation to Estelle; in: Participant's Proceedings of the Ninth IFIPW WG 6.1, 6–9 June 1989, pp. 1–14. University of Twente — Enschede

    Google Scholar 

  20. Georg Raeder A Survey of Current Graphical Programming Techniques IEEE Computer, Vol. 18, No.8, pp. 11–25

    Google Scholar 

  21. Steven P. Reiss Visual Languages and the GARDEN System; in LNCS 282, Visualization in Programming, Workshop in Schärding/Austria, 20–23 May 1986, Gorny/Tauber (Eds.), pp. 178–193

    Google Scholar 

  22. Robert V. Rubin, Eric J. Golin, Steven P. Reiss Think Pad: A Graphical System for Programming by Demonstration IEEE Software, March 1985, pp. 73–79

    Google Scholar 

  23. David Socha, Mary L. Bailey, David Notkin VOYEUR: Graphical Views of Parallel Programs; ACM SIGPLAN and SIGOPS, Workshop on Parallel and Distributed Debugging, 1988, pp. 206–215

    Google Scholar 

  24. Nan C. Shu Visual Programming; Van Nostrand Reinhold Company, New York, 1988

    Google Scholar 

  25. John T. Stasko Using direct Manipulation to Build Algorithm Animation by Demonstration; ACM Conference Proceedings CHI'91, Reaching through Technology, Addison Wesley May 91

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Technische Universität Berlin, FR 6-1, Franklinstr. 28/29, 10 587, Berlin

    Catharina Rieckhoff

Authors
  1. Catharina Rieckhoff
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Hartmut Ehrig Fernando Orejas

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Rieckhoff, C. (1994). Towards a theory for the animation of algebraic specifications. In: Ehrig, H., Orejas, F. (eds) Recent Trends in Data Type Specification. ADT COMPASS 1992 1992. Lecture Notes in Computer Science, vol 785. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57867-6_19

Download citation

  • DOI: https://doi.org/10.1007/3-540-57867-6_19

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57867-3

  • Online ISBN: 978-3-540-48361-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation