Skip to main content
SpringerLink
Log in

Visual Formalisms

  • Living reference work entry
  • First Online:
Book cover Encyclopedia of Database Systems

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

Recommended Reading

  1. Catarci T, Costabile MF, Levialdi S, Batini C. Visual query systems for databases: a survey. J Vis Lang Comput. 1997;8(2):215–60.

    Article  Google Scholar 

  2. Chen PP-S. The entity-relationship model – toward a unified view of data. ACM Trans Database Syst. 1976;1(1):9–36.

    Article  Google Scholar 

  3. Damm W, Harel D. LSCs: breathing life into message sequence charts. J Form Methods Syst Des. 2001;19(1):45–80. Preliminary version in Ciancarini P, Fantechi A, Gorrieri R (eds). In: Proceedings of 3rd IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems; 1999. p. 293–312.

    Google Scholar 

  4. Di Battista G, Eades P, Tamassia R, Tollis IG. Graph drawing: algorithms for the visualization of graphs. Upper Saddle River: Prentice‐Hall PTR; 1998.

    MATH  Google Scholar 

  5. Edwards AWF. Cogwheels of the mind: the story of Venn diagrmas. Baltimore: Johns Hopkins University Press; 2004.

    MATH  Google Scholar 

  6. Efroni S, Harel D, Cohen IR. Towards rigorous comprehension of biological complexity: modeling execution and visualization of thymic T cell maturation. Gen Res. 2003;13(11):2485–97.

    Article  Google Scholar 

  7. Euler L. Commentarii academiae scientiarum Petropolitanae, vol. 8. 1741.

    Google Scholar 

  8. Euler L. Lettres il une Princesse d’Allemagne, vol. 2. 1772. letters 102–108.

    Google Scholar 

  9. Fagin R. Degrees of acyclicity for hypergraphs and relational database schemes. J ACM. 1983;30(3):514–50.

    Article  MathSciNet  MATH  Google Scholar 

  10. Fagin R, Mendelzon AO, Ullman JD. A simplified universal relation assumption and its properties. ACM Trans Database Syst. 1982;7(3):343–60.

    Article  MathSciNet  MATH  Google Scholar 

  11. Fisher J, Piterman N, Hubbard EJA, Stern MJ, Harel D. Computational insights into C. elegans vulval development. Proc Natl Acad Sci. 2005;102(6):1951–6.

    Article  Google Scholar 

  12. Floyd RW. Assigning meanings to programs. In Schwartz JT, editor. Proceedings of Symposia on Applied Mathematics, vol. 19. American Mathematical Society; 1967. p. 19–32.

    Google Scholar 

  13. Gane CP, Sarson T. Structured systems analysis: tools and techniques. Englewood: Prentice‐Hall; 1979.

    Google Scholar 

  14. Goldstine HH, von Neumann J. Planning and coding of problems for an electronic computing instrument. Princeton: Institute for Advanced Study; 1947. Reprinted in Taub AH, editor. von Neumann’s collected works, vol. 5. London: Pergamon; 1963, p. 80–151.

    Google Scholar 

  15. Green TRG. Pictures of programs and other processes, or how to do things with lines. Behav Inform Technol. 1982;1:3–36.

    Article  Google Scholar 

  16. Harel D. Statecharts: a visual formalism for complex systems. Sci Comput Program. 1987;8:231–74.

    Article  MathSciNet  MATH  Google Scholar 

  17. Harel D. On visual formalisms. Commun ACM. 1988;31(5):514–30.

    Article  MathSciNet  Google Scholar 

  18. Harel D, Gery E. Executable object modeling with statecharts. Computer. 1997; 31–42.

    Google Scholar 

  19. Harel D, Marelly R. Come, let’s play: scenario-based programming using LSCs and the play-engine. Berlin: Springer; 2003.

    Book  Google Scholar 

  20. ITU. ITU-T recommendation Z.100: specification and description language. Technical report, International Telecommunication Union. 1992.

    Google Scholar 

  21. ITU. ITU-T recommendation Z.120: message sequence charts. Technical report, International Telecommunication Union. 1996.

    Google Scholar 

  22. Kent S. Constraint diagrams: visualizing invariants in object-oriented models. In: Proceedings of 12th ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages & Applications; 1997. p. 327–41.

    Google Scholar 

  23. Object Management Group (OMG). UML: unified modeling language. Available at: http://www.omg.org

  24. Reisig W. Petri nets: an introduction, monographs in theoretical computer science, An EATCS series, vol. 4. Berlin: Springer; 1885.

    Google Scholar 

  25. Venn J. Symbolic logic. London: Macmillan; 1881.

    Book  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. The Weizmann Institute of Science, Rehovot, Israel

    David Harel & Shahar Maoz

Authors
  1. David Harel
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Shahar Maoz
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to David Harel .

Editor information

Editors and Affiliations

  1. Georgia Institute of Technology College of Computing, Atlanta, Georgia, USA

    Ling Liu

  2. University of Waterloo School of Computer Science, Waterloo, Ontario, Canada

    M. Tamer Özsu

Section Editor information

  1. Dept. di Ingegneria Informatica, Automatica e Gestionale, Universita di Roma, Via Ariosto 25, Roma, 185, Italy

    Tiziana Catarci

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer Science+Business Media New York

About this entry

Cite this entry

Harel, D., Maoz, S. (2016). Visual Formalisms. In: Liu, L., Özsu, M. (eds) Encyclopedia of Database Systems. Springer, New York, NY. https://doi.org/10.1007/978-1-4899-7993-3_444-2

Download citation

  • DOI: https://doi.org/10.1007/978-1-4899-7993-3_444-2

  • Received:

  • Accepted:

  • Published:

  • Publisher Name: Springer, New York, NY

  • Online ISBN: 978-1-4899-7993-3

  • eBook Packages: Springer Reference Computer SciencesReference Module Computer Science and Engineering

Publish with us

Policies and ethics

Search

Navigation