Toward principles for the design of ontologies used for knowledge sharing
International Journal of Human-Computer Studies - Special issue: the role of formal ontology in the information technology
The concept of dynamic analysis
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
What Are Ontologies, and Why Do We Need Them?
IEEE Intelligent Systems
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Jena: implementing the semantic web recommendations
Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
A survey of trace exploration tools and techniques
CASCON '04 Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research
Measuring Various Properties of Execution Traces to Help Build Better Trace Analysis Tools
ICECCS '05 Proceedings of the 10th IEEE International Conference on Engineering of Complex Computer Systems
ICPC '06 Proceedings of the 14th IEEE International Conference on Program Comprehension
Pellet: A practical OWL-DL reasoner
Web Semantics: Science, Services and Agents on the World Wide Web
The Semantic Web Vision: Where Are We?
IEEE Intelligent Systems
Semantics-aware trace analysis
Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation
Extracting Domain Ontologies from Domain Specific APIs
CSMR '08 Proceedings of the 2008 12th European Conference on Software Maintenance and Reengineering
It's a Streaming World! Reasoning upon Rapidly Changing Information
IEEE Intelligent Systems
An approach for modeling dynamic analysis using ontologies
Proceedings of the Eighth International Workshop on Dynamic Analysis
OWLIM – a pragmatic semantic repository for OWL
WISE'05 Proceedings of the 2005 international conference on Web Information Systems Engineering
Semantics and complexity of SPARQL
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Introduction to semantic web ontology languages
Proceedings of the First international conference on Reasoning Web
Hi-index | 0.00 |
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.