Linking syntactic and semantic models of Java source code within a program transformation system

Victor L Winter, Jonathan Guerrero, Alexander James, Carl Reinke

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Abstract

Static analysis and software manipulation tools are frequently rule-based and draw on a variety of software models in order to achieve their goals. Program transformation languages provide traversal and matching capabilities that are aligned with the core functionality of rule-based systems. Therefore, transformation systems should be considered as candidates for implementing static analysis and manipulation tools. An issue associated with this approach is that transformation systems predominantly operate on syntactic models (abstract/concrete trees) of software. To effectively support in-depth analysis, it is beneficial to integrate the syntactic models used by transformation systems with one or more semantic models. This paper describes a system, called GPS-Traverse, that establishes a link between syntactic and semantic models of Java software. These models are central to a transformation-based Java source code analysis and manipulation system we are developing called Sextant. Within Sextant, GPS-traverse provides a coordinate system that is accessible during transformation. These coordinates enable the semantic model to be queried in a context-sensitive fashion during the course of transformation.

Original languageEnglish (US)
Title of host publicationProceedings - IEEE 14th International Symposium on High-Assurance Systems Engineering, HASE 2012
Pages122-129
Number of pages8
DOIs
StatePublished - Dec 1 2012
EventIEEE 14th International Symposium on High-Assurance Systems Engineering, HASE 2012 - Omaha, NE, United States
Duration: Oct 25 2012Oct 27 2012

Publication series

NameProceedings of IEEE International Symposium on High Assurance Systems Engineering
ISSN (Print)1530-2059

Conference

ConferenceIEEE 14th International Symposium on High-Assurance Systems Engineering, HASE 2012
CountryUnited States
CityOmaha, NE
Period10/25/1210/27/12

Fingerprint

Syntactics
Computer systems
Semantics
Sextants
Static analysis
Global positioning system
Knowledge based systems
Concretes

Keywords

  • GPS-Traverse
  • Java
  • Sextant
  • TL System
  • program transformation
  • source code analysis

ASJC Scopus subject areas

  • Software
  • Safety, Risk, Reliability and Quality

Cite this

Winter, V. L., Guerrero, J., James, A., & Reinke, C. (2012). Linking syntactic and semantic models of Java source code within a program transformation system. In Proceedings - IEEE 14th International Symposium on High-Assurance Systems Engineering, HASE 2012 (pp. 122-129). [6375606] (Proceedings of IEEE International Symposium on High Assurance Systems Engineering). https://doi.org/10.1109/HASE.2012.8

Linking syntactic and semantic models of Java source code within a program transformation system. / Winter, Victor L; Guerrero, Jonathan; James, Alexander; Reinke, Carl.

Proceedings - IEEE 14th International Symposium on High-Assurance Systems Engineering, HASE 2012. 2012. p. 122-129 6375606 (Proceedings of IEEE International Symposium on High Assurance Systems Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Winter, VL, Guerrero, J, James, A & Reinke, C 2012, Linking syntactic and semantic models of Java source code within a program transformation system. in Proceedings - IEEE 14th International Symposium on High-Assurance Systems Engineering, HASE 2012., 6375606, Proceedings of IEEE International Symposium on High Assurance Systems Engineering, pp. 122-129, IEEE 14th International Symposium on High-Assurance Systems Engineering, HASE 2012, Omaha, NE, United States, 10/25/12. https://doi.org/10.1109/HASE.2012.8
Winter VL, Guerrero J, James A, Reinke C. Linking syntactic and semantic models of Java source code within a program transformation system. In Proceedings - IEEE 14th International Symposium on High-Assurance Systems Engineering, HASE 2012. 2012. p. 122-129. 6375606. (Proceedings of IEEE International Symposium on High Assurance Systems Engineering). https://doi.org/10.1109/HASE.2012.8
Winter, Victor L ; Guerrero, Jonathan ; James, Alexander ; Reinke, Carl. / Linking syntactic and semantic models of Java source code within a program transformation system. Proceedings - IEEE 14th International Symposium on High-Assurance Systems Engineering, HASE 2012. 2012. pp. 122-129 (Proceedings of IEEE International Symposium on High Assurance Systems Engineering).
@inproceedings{d0d9d19ff0d74b02b5b860e7b7fd63a8,
title = "Linking syntactic and semantic models of Java source code within a program transformation system",
abstract = "Static analysis and software manipulation tools are frequently rule-based and draw on a variety of software models in order to achieve their goals. Program transformation languages provide traversal and matching capabilities that are aligned with the core functionality of rule-based systems. Therefore, transformation systems should be considered as candidates for implementing static analysis and manipulation tools. An issue associated with this approach is that transformation systems predominantly operate on syntactic models (abstract/concrete trees) of software. To effectively support in-depth analysis, it is beneficial to integrate the syntactic models used by transformation systems with one or more semantic models. This paper describes a system, called GPS-Traverse, that establishes a link between syntactic and semantic models of Java software. These models are central to a transformation-based Java source code analysis and manipulation system we are developing called Sextant. Within Sextant, GPS-traverse provides a coordinate system that is accessible during transformation. These coordinates enable the semantic model to be queried in a context-sensitive fashion during the course of transformation.",
keywords = "GPS-Traverse, Java, Sextant, TL System, program transformation, source code analysis",
author = "Winter, {Victor L} and Jonathan Guerrero and Alexander James and Carl Reinke",
year = "2012",
month = "12",
day = "1",
doi = "10.1109/HASE.2012.8",
language = "English (US)",
isbn = "9780769549125",
series = "Proceedings of IEEE International Symposium on High Assurance Systems Engineering",
pages = "122--129",
booktitle = "Proceedings - IEEE 14th International Symposium on High-Assurance Systems Engineering, HASE 2012",

}

TY - GEN

T1 - Linking syntactic and semantic models of Java source code within a program transformation system

AU - Winter, Victor L

AU - Guerrero, Jonathan

AU - James, Alexander

AU - Reinke, Carl

PY - 2012/12/1

Y1 - 2012/12/1

N2 - Static analysis and software manipulation tools are frequently rule-based and draw on a variety of software models in order to achieve their goals. Program transformation languages provide traversal and matching capabilities that are aligned with the core functionality of rule-based systems. Therefore, transformation systems should be considered as candidates for implementing static analysis and manipulation tools. An issue associated with this approach is that transformation systems predominantly operate on syntactic models (abstract/concrete trees) of software. To effectively support in-depth analysis, it is beneficial to integrate the syntactic models used by transformation systems with one or more semantic models. This paper describes a system, called GPS-Traverse, that establishes a link between syntactic and semantic models of Java software. These models are central to a transformation-based Java source code analysis and manipulation system we are developing called Sextant. Within Sextant, GPS-traverse provides a coordinate system that is accessible during transformation. These coordinates enable the semantic model to be queried in a context-sensitive fashion during the course of transformation.

AB - Static analysis and software manipulation tools are frequently rule-based and draw on a variety of software models in order to achieve their goals. Program transformation languages provide traversal and matching capabilities that are aligned with the core functionality of rule-based systems. Therefore, transformation systems should be considered as candidates for implementing static analysis and manipulation tools. An issue associated with this approach is that transformation systems predominantly operate on syntactic models (abstract/concrete trees) of software. To effectively support in-depth analysis, it is beneficial to integrate the syntactic models used by transformation systems with one or more semantic models. This paper describes a system, called GPS-Traverse, that establishes a link between syntactic and semantic models of Java software. These models are central to a transformation-based Java source code analysis and manipulation system we are developing called Sextant. Within Sextant, GPS-traverse provides a coordinate system that is accessible during transformation. These coordinates enable the semantic model to be queried in a context-sensitive fashion during the course of transformation.

KW - GPS-Traverse

KW - Java

KW - Sextant

KW - TL System

KW - program transformation

KW - source code analysis

UR - http://www.scopus.com/inward/record.url?scp=84871948223&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84871948223&partnerID=8YFLogxK

U2 - 10.1109/HASE.2012.8

DO - 10.1109/HASE.2012.8

M3 - Conference contribution

SN - 9780769549125

T3 - Proceedings of IEEE International Symposium on High Assurance Systems Engineering

SP - 122

EP - 129

BT - Proceedings - IEEE 14th International Symposium on High-Assurance Systems Engineering, HASE 2012

ER -