Skip to main content
SpringerLink
Log in
Book cover

International Conference on Runtime Verification

RV 2011: Runtime Verification pp 412–426Cite as

Execution Trace Exploration and Analysis Using Ontologies

  • Conference paper

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 7186))

Abstract

Dynamic analysis is the analysis of the properties of a running program. In order to perform dynamic analysis, information about the running program is often collected through execution traces. Exploring and analyzing these traces can be an issue due to their size and that knowledge of a human expert is often needed to derive the required conclusions. In this paper we provide a framework in which the semantics of execution traces, as well as that of dynamic analyses, are formally represented through ontologies. In this framework the exploration and analysis of the traces is enabled through semantic queries, and enhanced further through automated reasoning on the ontologies. We will also provide ontologies to represent traces and some basic dynamic analysis techniques, along with semantic queries that enable these techniques. Finally we will illustrate our approach through an example.

The research leading to these results has received funding from the European Community’s Seventh Framework Programme (FP7/2007-2013) under the grant agreement FP7- 258109. This work was also supported, in part, by Science Foundation Ireland grants 03/CE2/I303_1 and 10/CE/I1855 to Lero - the Irish Software Engineering Research Centre (www.lero.ie).

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Javassist, http://www.javassist.org

  2. Joseki sparql server, http://www.joseki.org

  3. The world wide web consortium, w3c, http://www.w3.org

  4. AI Haider, N., Nixon, P., Gaudin, B.: An approach for modeling dynamic analysis using ontologies. In: WODA 2010: Proceedings of the Eighth International Workshop on Dynamic Analysis, pp. 1–6. ACM, New York (2010)

    Chapter  Google Scholar 

  5. Antoniou, G., Franconi, E., van Harmelen, F.: Introduction to Semantic Web Ontology Languages. In: Eisinger, N., Małuszyński, J. (eds.) Reasoning Web 2005. LNCS, vol. 3564, pp. 1–21. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  6. Baader, F.: The description logic handbook: theory, implementation, and applications. Cambridge Univ. Pr. (2003)

    Google Scholar 

  7. Ball, T.: The Concept of Dynamic Analysis. SIGSOFT Softw. Eng. Notes 24(6), 216–234 (1999)

    Article  Google Scholar 

  8. Bizer, C., Schultz, A.: The berlin sparql benchmark. International Journal on Semantic Web and Information Systems-Special Issue on Scalability and Performance of Semantic Web Systems (2009)

    Google Scholar 

  9. Brachman, R.J., Levesque, H.J.: The tractability of subsumption in frame-based description languages. In: Proc. of the 4th Nat. Conf. on Artificial Intelligence (AAAI 1984), pp. 34–37 (1984)

    Google Scholar 

  10. Cardoso, J.: The semantic web vision: Where are we? IEEE Intelligent Systems 22(5), 84–88 (2007)

    Article  Google Scholar 

  11. Carroll, J.J., Dickinson, I., Dollin, C., Reynolds, D., Seaborne, A., Wilkinson, K.: Jena: implementing the semantic web recommendations. In: Proceedings of the 13th International World Wide Web Conference on Alternate Track Papers & Posters, pp. 74–83. ACM (2004)

    Google Scholar 

  12. Chandrasekaran, B., Josephson, J.R., Benjamins, V.R.: What are ontologies, and why do we need them? IEEE Intelligent Systems 14(1), 20–26 (1999)

    Article  Google Scholar 

  13. Cornelissen, B., Zaidman, A., van Deursen, A., Moonen, L., Koschke, R.: A systematic survey of program comprehension through dynamic analysis. Technical Report TUD-SERG-2008-033, Delft University of Technology (2008)

    Google Scholar 

  14. Della Valle, E., Ceri, S., van Harmelen, F., Fensel, D.: It’s a streaming world! reasoning upon rapidly changing information. IEEE Intelligent Systems 24(6), 83–89 (2009)

    Article  Google Scholar 

  15. Dirsyncpro, http://www.dirsyncpro.org

  16. Gruber, T.R.: Toward principles for the design of ontologies used for knowledge sharing. Int. J. Hum.-Comput. Stud. 43(5-6), 907–928 (1995)

    Article  Google Scholar 

  17. Gruber, T.: Ontology, entry in the encyclopedia of database systems (2009)

    Google Scholar 

  18. Haarslev, V., Möller, R.: Description of the racer system and its applications. In: Goble, C.A., McGuinness, D.L., Möller, R., Patel-Schneider, P.F. (eds.) Description Logics. CEUR Workshop Proceedings, vol. 49 (2001)

    Google Scholar 

  19. Hamou-Lhadj, A., Lethbridge, T.C.: Measuring various properties of execution traces to help build better trace analysis tools. In: Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2005, pp. 559–568 (June 2005)

    Google Scholar 

  20. Hamou-Lhadj, A., Lethbridge, T.C.: A survey of trace exploration tools and techniques. In: CASCON 2004: Proceedings of the 2004 Conference of the Centre for Advanced Studies on Collaborative Research, pp. 42–55. IBM Press (2004)

    Google Scholar 

  21. Hoffman, K.J., Eugster, P., Jagannathan, S.: Semantics-aware trace analysis. SIGPLAN Not. 44(6), 453–464 (2009)

    Article  Google Scholar 

  22. Kiryakov, A., Ognyanov, D., Manov, D.: OWLIM – A Pragmatic Semantic Repository for OWL. In: Dean, M., Guo, Y., Jun, W., Kaschek, R., Krishnaswamy, S., Pan, Z., Sheng, Q.Z. (eds.) WISE 2005 Workshops. LNCS, vol. 3807, pp. 182–192. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  23. Klyne, G., Carroll, J.J., McBride, B.: Resource description framework (RDF): Concepts and abstract syntax. Changes (2004)

    Google Scholar 

  24. Motik, B., Patel-Schneider, P.F., Parsia, B., Bock, C., Fokoue, A., Haase, P., Hoekstra, R., Horrocks, I., Ruttenberg, A., Sattler, U., et al.: OWL 2 web ontology language: Structural specification and functional-style syntax. W3C Working Draft, W3C (2008)

    Google Scholar 

  25. Pérez, J., Arenas, M., Gutierrez, C.: Semantics and Complexity of SPARQL. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol. 4273, pp. 30–43. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  26. Ratiu, D., Deissenboeck, F.: Programs are knowledge bases. In: 14th IEEE International Conference on Program Comprehension, ICPC 2006, pp. 79–83 (2006)

    Google Scholar 

  27. Ratiu, D., Feilkas, M., Jürjens, J., Keynes, M., Britain, G.: Extracting domain ontologies from domain specific APIs. In: Proceedings of the 12th European Conference on Software Maintenance and Reengineering (CSMR 2008), vol. 26. IEEE CS (2008)

    Google Scholar 

  28. Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: A practical owl-dl reasoner. Web Semantics: Science, Services and Agents on the World Wide Web 5(2), 51–53 (2007)

    Article  Google Scholar 

  29. Zeller, A., für Softwaretechnik, L.: Program analysis: A hierarchy. In: Proceedings of the ICSE Workshop on Dynamic Analysis (WODA 2003), pp. 6–9. Citeseer (2003)

    Google Scholar 

  30. Zhang, Y.: An Ontology-based Program Comprehension Model. PhD thesis, Concordia University (2007)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University College Dublin, Ireland

    Newres Al Haider & John Murphy

  2. University of Limerick, Ireland

    Benoit Gaudin

Authors
  1. Newres Al Haider
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Benoit Gaudin
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. John Murphy
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Electrical and Computer Engineering, The University of Texas at Austin, 1 University Station C5000, 78712-0240, Austin, TX, USA

    Sarfraz Khurshid

  2. University of California, 581 Soda Hall #1776, 94720-1776, Berkeley, CA, USA

    Koushik Sen

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Al Haider, N., Gaudin, B., Murphy, J. (2012). Execution Trace Exploration and Analysis Using Ontologies. In: Khurshid, S., Sen, K. (eds) Runtime Verification. RV 2011. Lecture Notes in Computer Science, vol 7186. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29860-8_33

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-29860-8_33

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-29859-2

  • Online ISBN: 978-3-642-29860-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation