Graph Transforming Java Data

Mol de, Maarten and Rensink, Arend and Hunt, James J. (2012) Graph Transforming Java Data. In: 15th International Conference on Fundamental Approaches to Software Engineering, FASE 2012, 26-29 March 2012, Talinn, Estonia.

PDF
Restricted to UT campus only: Request a copy
212Kb

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 veriﬁability.
Item Type:	Conference or Workshop Item
Copyright:	© 2012 Springer
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Formal Methods and Tools (FMT)
Link to this item:	http://purl.utwente.nl/publications/79456
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page