Skip to main content
SpringerLink
Log in

Visualizing and querying distributed event traces with Hy+

  • Conference paper
  • First Online:
Applications of Databases (ADB 1994)

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

Included in the following conference series:

Abstract

A programmer attempting to understand and debug a distributed program deals with large volumes of trace data that describe the program's behaviour. Visualization is widely believed to help in this and similar tasks. We contend that visualization is indeed useful, but only if accompanied of powerful data management facilities to support abstraction and filtering. The Hy + visualization system and GraphLog query language provide these facilities. They support not just a fixed way of visualizing data, but visualizations that can be specified and manipulated through declarative queries, like data are manipulated in a database. In this paper we show how the Hy +/GraphLog system can be used by distributed program debuggers to meet their information manipulation and visualization goals.

The Hy +/GraphLog system can be used for observing behaviour of distributed and parallel applications by specifying normal or abnormal patterns that the programmer is looking for as declarative GraphLog queries and manipulating the resulting visualizations to understand the behaviour of the program.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Peter Bates. Debugging heterogeneous distributed systems using event-based models of behavior. Proceedings of the ACM SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, published in ACM SIGPLAN Notices, 24(1):11–22, January 1989.

    Article  Google Scholar 

  2. Mariano Consens and Masum Hasan. Supporting network management through declaratively specified data visualizations. In H.G. Hegering and Y. Yemini, editors, Proceedings of the IEEE/IFIP Third International Symposium on Integrated Network Management, III, pages 725–738. Elsevier North Holland, April 1993.

    Google Scholar 

  3. Mariano Consens and Alberto Mendelzon. Expressing structural hypertext queries in GraphLog. In Proceedings of the Second ACM Hypertext Conference, pages 269–292, 1989.

    Google Scholar 

  4. Mariano Consens and Alberto Mendelzon. GraphLog: a visual formalism for real life recursion. In Proceedings of the Ninth ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, pages 404–416, 1990.

    Google Scholar 

  5. Mariano Consens and Alberto Mendelzon. Low complexity aggregation in GraphLog and Datalog. In Proceedings of the Third International Conference on Database Theory, Lecture Notes in Computer Science Nr. 470, pages 379–394. Springer-Verlag, 1990. A revised version has been accepted for publication in TCS.

    Google Scholar 

  6. Mariano Consens, Alberto Mendelzon, and Arthur Ryman. Visualizing and querying software structures. In 14th. Intl. Conference on Software Engineering, pages 138–156, 1992.

    Google Scholar 

  7. Mariano P. Consens. Creating and Filtering Structural Data Visualizations using Hygraph Patterns. Fothcoming PhD Thesis, University of Toronto, 1993.

    Google Scholar 

  8. Milan Fukar. Translating GraphLog into Prolog. Technical report, Center for Advanced Studies IBM Canada Limited, October 1991.

    Google Scholar 

  9. David Harel. On visual formalisms. Communications of the ACM, 31(5):514–530, 1988.

    Article  MathSciNet  Google Scholar 

  10. Masum Z. Hasan. A visual and temporal framework for behavior observation of active databases. PhD Thesis Proposal, Department of Computer Science, University of Waterloo, Waterloo, Ontario, Canada, 1994.

    Google Scholar 

  11. W. Korfhage. The panorama monitoring system. Technical report, Polytechnic University, Brooklyn, 1992.

    Google Scholar 

  12. Charles E. McDowell and David P. Helmbold. Debugging concurrent programs. ACM Computing Surveys, 21(4):593–622, December 1989.

    Article  Google Scholar 

  13. Shamim Naqvi and Tsur Shalom. A logical language for data and knowledge bases. Computer Science Press, New York, 1989.

    Google Scholar 

  14. R. Ramakrishnan, D. Srivastava, and S. Sudarshan. CORAL: Control, Relations and Logic. In Proceedings of International Conference on Very Large Databases, 1992.

    Google Scholar 

  15. Richard Snodgrass. A relational approach to monitoring complex systems. ACM Transactions on Computer Systems, 6(2):157–196, May 1988.

    Article  Google Scholar 

  16. R.T. Snodgrass. The temporal query language TQuel. ACM Transactions on Database Systems, 12(2):247–298, June 1987.

    Article  MathSciNet  Google Scholar 

  17. R.E. Strom, D.F. Bacon, A.P. Goldberg, A. Lowry, D.M. Yellin, and S.A. Yemini. HERMES: A Language for Distributed Computing. Prentice Hall, Englewood Cliffs, New Jersey, 1991.

    Google Scholar 

  18. Dror Zernik and Larry Rudolph. Animating work and time for debugging parallel programs foundation and experience. Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging, published in ACM SIGPLAN Notices, 26(12):46–56, December 1991.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Systems Research Institute, University of Toronto, 6 King's College Road, M5S 1A1, Toronto, Ontario, Canada

    Mariano P. Consens, Masum Z. Hasan & Alberto O. Mendelzon

Authors
  1. Mariano P. Consens
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Masum Z. Hasan
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Alberto O. Mendelzon
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Witold Litwin Tore Risch

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Consens, M.P., Hasan, M.Z., Mendelzon, A.O. (1994). Visualizing and querying distributed event traces with Hy+ . In: Litwin, W., Risch, T. (eds) Applications of Databases. ADB 1994. Lecture Notes in Computer Science, vol 819. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58183-9_45

Download citation

  • DOI: https://doi.org/10.1007/3-540-58183-9_45

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation