Graph transforming java data

Authors:
Maarten de Mol;Arend Rensink;James J. Hunt
Affiliations:
Department of Computer Science, University of Twente, The Netherlands;Department of Computer Science, University of Twente, The Netherlands;aicas GmbH, Karlsruhe, Germany
Venue:
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Year:
2012

Citing 11
Cited 1

Specification of Graph Translators with Triple Graph Grammars

WG '94 Proceedings of the 20th International Workshop on Graph-Theoretic Concepts in Computer Science
Feature-based survey of model transformation approaches

IBM Systems Journal - Model-driven software development
Realtime garbage collection in the JamaicaVM 3.0

JTRES '07 Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems
The model transformation language of the VIATRA2 framework

Science of Computer Programming
ATL: A model transformation tool

Science of Computer Programming
Formal verification of a realistic compiler

Communications of the ACM - Barbara Liskov: ACM's A.M. Turing Award Winner
A Systematic Approach to Metamodeling Environments and Model Transformation Systems in VMTS

Electronic Notes in Theoretical Computer Science (ENTCS)
Verification of object-oriented software: The KeY approach

Verification of object-oriented software: The KeY approach
Henshin: advanced concepts and tools for in-place EMF model transformations

MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I
Showing full semantics preservation in model transformation: a comparison of techniques

IFM'10 Proceedings of the 8th international conference on Integrated formal methods
SiTra: simple transformations in Java

MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems

Using CHARTER tools to develop a safety-critical avionics application in Java

Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper introduces an approach for adding graph transformation-based functionality to existing Java programs. The approach relies on a set of annotations to identify the intended graph structure, as well as on user methods to manipulate that structure, within the user's own Java class declarations. Other ingredients are a custom transformation language, called Chart, and a compiler from Chart to Java. The generated Java code runs against the pre-existing, annotated code. The advantage of the approach is that it allows any Java program to be enhanced, non invasively, with declarative graph rules, improving clarity, conciseness and verifiability.