eCite Digital Repository
An approach for modeling dynamic analysis using ontologies
Citation
Al Haider, N and Nixon, P and Gaudin, B, An approach for modeling dynamic analysis using ontologies, Proceedings of the Eighth International Workshop on Dynamic Analysis, 12-16 July, Trento, Italy, pp. 1-6. ISBN 978-1-4503-0137-4 (2010) [Refereed Conference Paper]
Copyright Statement
Copyright 2010 ACM
DOI: doi:10.1145/1868321.1868322
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, 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.
Item Details
Item Type: | Refereed Conference Paper |
---|---|
Research Division: | Information and Computing Sciences |
Research Group: | Human-centred computing |
Research Field: | Pervasive computing |
Objective Division: | Information and Communication Services |
Objective Group: | Information systems, technologies and services |
Objective Field: | Information systems, technologies and services not elsewhere classified |
UTAS Author: | Nixon, P (Professor Paddy Nixon) |
ID Code: | 97687 |
Year Published: | 2010 |
Deposited By: | Research Division |
Deposited On: | 2015-01-08 |
Last Modified: | 2016-12-15 |
Downloads: | 0 |
Repository Staff Only: item control page