research-article

An approach for modeling dynamic analysis using ontologies

Authors:

Newres Al Haider,

Benoit GaudinAuthors Info & Claims

WODA '10: Proceedings of the Eighth International Workshop on Dynamic Analysis

Pages 1 - 6

https://doi.org/10.1145/1868321.1868322

Published: 12 July 2010 Publication History

Abstract

In this paper we present the possibility of using an ontology based framework in order to model Dynamic Analysis techniques. This work relies on similar ideas applied to the case of Static Analysis [22, 28, 27], in which ontologies are used to represent some knowledge about the programs to be analyzed. In the approach proposed in this paper we describe how ontologies can be applied to Dynamic Analysis by modeling both the information collected from the system, as well as some requirements about the type of analysis to be performed. Both of these ontologies can be designed by integrating ontologies previously defined during the software development cycle, allowing for re-usability. Finally, these ontologies make it possible to reason about concepts related to Dynamic Analysis and offer tools that facilitate automation. This paper presents the main ideas of the proposed approach and illustrates them with an example related to Frequency Spectrum Analysis.

References

[1]

}}Grigoris Antoniou, Enrico Franconi, and Frank van Harmelen. Introduction to semantic web ontology languages. In Norbert Eisinger and Jan Matuszyński, editors, Reasoning Web, Proceedings of the Summer School, Malta, 2005, number 3564 in Lecture Notes in Computer Science, Berlin, Heidelberg, New York, Tokyo, 2005. Springer-Verlag.

Digital Library

[2]

}}Thomas Ball. The concept of dynamic analysis. In ESEC / SIGSOFT FSE, volume 24, pages 216--234, New York, NY, USA, 1999. ACM.

Digital Library

[3]

}}Bas Cornelissen, Andy Zaidman, Arie van Deursen, Leon Moonen, and Rainer Koschke. A systematic survey of program comprehension through dynamic analysis. Technical Report TUD-SERG-2008-033, Delft University of Technology, 2008.

[4]

}}M. S. Feather, S. Fickas, A. van Lamsweerde, and C. Ponsard. Reconciling system requirements and runtime behavior. In Proceedings of the 9th International Workshop on Software Specification and Design, pages 50--59, 1998.

Digital Library

[5]

}}Patrice Godefroid. Compositional dynamic test generation. In POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 47--54, New York, NY, USA, 2007. ACM.

Digital Library

[6]

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

Digital Library

[7]

}}Tom Gruber. Ontology, entry in the encyclopedia of database systems, 2009.

[8]

}}Volker Haarslev and Ralf Möller. Description of the racer system and its applications. In Carole A. Goble, Deborah L. McGuinness, Ralf Möller, and Peter F. Patel-Schneider, editors, Description Logics, volume 49 of CEUR Workshop Proceedings, 2001.

[9]

}}Abdelwahab Hamou-Lhadj and Timothy C. Lethbridge. A survey of trace exploration tools and techniques. In CASCON '04: Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research, pages 42--55. IBM Press, 2004.

Digital Library

[10]

}}Hans-Jörg Happel and Stefan Seedorf. Applications of ontologies in software engineering. In International Workshop on Semantic Web Enabled Software Engineering (SWESE'06), Athens, USA, November 2006.

[11]

}}M. Hepp and D. Roman. An ontology framework for semantic business process management. Proceedings of Wirtschaftsinformatik, 2007, 2007.

[12]

}}Kevin J. Hoffman, Patrick Eugster, and Suresh Jagannathan. Semantics-aware trace analysis. SIGPLAN Not., 44(6):453--464, 2009.

Digital Library

[13]

}}M. Horridge, H. Knublauch, A. Rector, R. Stevens, and C. Wroe. A practical guide to building owl ontologies using protégé 4 and co-ode tools edition 1.2. Technical report, University of Manchester, 2009.

[14]

}}Matthew Horridge and Sean Bechhofer. The owl api: A java api for working with owl 2 ontologies. In OWLED, 2009.

[15]

}}Matthew Horridge, Holger Knublauch, Alan Rector, Robert Stevens, and Chris Wroe. A practical guide to building owl ontologies using the protege-owl plugin and co-ode tools edition 1.0. August 2004.

[16]

}}Daniel Jackson and Martin Rinard. Software analysis: a roadmap. In ICSE '00: Proceedings of the Conference on The Future of Software Engineering, pages 133--145, New York, NY, USA, 2000. ACM.

Digital Library

[17]

}}Kaarel Kaljurand. ACE View --- An Ontology and Rule Editor based on Controlled English. In Christian Bizer and Anupam Joshi, editors, Proceedings of the Poster and Demonstration Session at the 7th International Semantic Web Conference (ISWC2008), volume 401. CEUR Workshop Proceedings, 2008.

[18]

}}James R. Larus. Whole program paths. SIGPLAN Not., 34(5):259--269, 1999.

Digital Library

[19]

}}Ma lgorzata Steinder and Adarshpal S. Sethi. A survey of fault localization techniques in computer networks. Science of Computer Programming, 53(2):165--194, 2004. Topics in System Administration.

[20]

}}A. Maedche and S. Staab. Ontology learning for the semantic web. Intelligent Systems, IEEE, 16(2):72--79, Mar-Apr 2001.

Digital Library

[21]

}}D. L. McGuinness, F. Van Harmelen, et al. OWL web ontology language overview. W3C recommendation, 10:2004--03, 2004.

[22]

}}W. Meng, J. Rilling, Y. Zhang, R. Witte, and P. Charland. An ontological software comprehension process model. In Proc. of the 3rd International Workshop on Metamodels, Schemas, Grammars, and Ontologies for Reverse Engineering, Italy. Citeseer, 2006.

[23]

}}Natalya F. Noy and Deborah L. mcguinness. Ontology development 101: A guide to creating your first ontology. Online, 2001.

[24]

}}M. O'Connor, H. Knublauch, S. Tu, B. Grosof, M. Dean, W. Grosso, and M. Musen. Supporting rule system interoperability on the semantic web with SWRL. The Semantic Web--ISWC 2005, pages 974--986.

Digital Library

[25]

}}M. A. Storey, M. Musen, J. Silva, C. Best, N. Ernst, R. Fergerson, and N. Noy. Jambalaya: Interactive visualization to enhance ontology authoring and knowledge acquisition in Protégé. In Workshop on interactive tools for knowledge capture. Citeseer, 2001.

[26]

}}H. Wache, T. Vögele, U. Visser, H. Stuckenschmidt, G. Schuster, H. Neumann, and S. Hübner. Ontology-based integration of information - a survey of existing approaches. pages 108--117, 2001.

[27]

}}Lian Yu, Jun Zhou, Yue Yi, Ping Li, and Qianxiang Wang. Ontology model-based static analysis on java programs. In Computer Software and Applications, 2008. COMPSAC '08. 32nd Annual IEEE International, pages 92--99, 28 2008-Aug. 1 2008.

Digital Library

[28]

}}Yonggang Zhang. An Ontology-based Program Comprehension Model. PhD thesis, Concordia University, 2007.

Cited By

Al Haider NGaudin BMurphy J(2011)Execution trace exploration and analysis using ontologiesProceedings of the Second international conference on Runtime verification10.1007/978-3-642-29860-8_33(412-426)Online publication date: 27-Sep-2011
https://dl.acm.org/doi/10.1007/978-3-642-29860-8_33

Index Terms

An approach for modeling dynamic analysis using ontologies
1. Computing methodologies
  1. Artificial intelligence
    1. Knowledge representation and reasoning
  2. Modeling and simulation
    1. Model development and analysis
2. Theory of computation
  1. Logic

Recommendations

Using ontologies of software: example of r functions management
RED'10: Proceedings of the Third international conference on Resource Discovery

In a scientific context, making available scientific resources like computer programs is a real challenge for multidisciplinary research teams. In this paper, we propose an ontology-based approach to manage, share, reuse and promote software programs in ...
Combining OWL ontologies using E-Connections

The standardization of the Web Ontology Language (OWL) leaves (at least) two crucial issues for Web-based ontologies unsatisfactorily resolved, namely how to represent and reason with multiple distinct, but linked ontologies, and how to enable effective ...
Merging Expressive Ontologies Using Formal Concept Analysis
OTM '09: Proceedings of the Confederated International Workshops and Posters on On the Move to Meaningful Internet Systems: ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009

In this paper, we propose a solution to the problem of merging ontologies when instances associated to two source ontologies are available. The solution we propose is based on Formal Concept Analysis (FCA) and considers that ontologies are formalized in ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

WODA '10: Proceedings of the Eighth International Workshop on Dynamic Analysis

July 2010

43 pages

ISBN:9781450301374

DOI:10.1145/1868321

Conference Chairs:
Jonathan Cook
New Mexico State University
,
James A. Jones
University of California - Irvine

Copyright © 2010 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGSOFT: ACM Special Interest Group on Software Engineering

In-Cooperation

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 12 July 2010

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article

Funding Sources

Science Foundation Ireland

Conference

ISSTA '10

Sponsor:

SIGSOFT

ISSTA '10: International Symposium on Software Testing and Analysis

July 12 - 16, 2010

Trento, Italy

Upcoming Conference

ICSE 2025

2025 IEEE/ACM 46th International Conference on Software Engineering

April 26 - May 3, 2025

Ottawa , ON , Canada

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
231
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 25 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Al Haider NGaudin BMurphy J(2011)Execution trace exploration and analysis using ontologiesProceedings of the Second international conference on Runtime verification10.1007/978-3-642-29860-8_33(412-426)Online publication date: 27-Sep-2011
https://dl.acm.org/doi/10.1007/978-3-642-29860-8_33

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten