Auflistung nach Schlagwort "graph transformation"
1 - 2 von 2
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragHenshin: A Model Transformation Language and its Use for Search-Based Model Optimisation in MDEOptimiser(Modellierung 2018, 2018) Strüber, Daniel; Burdusel, Alexandru; John, Stefan; Zschaler, SteffenThis tutorial presents Henshin, a versatile model transformation language increasingly used in academic and industrial applications. Henshin is based on the paradigm of graph transformation and provides a comprehensive tool set that supports largely declarative transformation specifications as well as various formal analyses. We present the application of Henshin in a search-based model optimisation scenario, where the goal is to find an optimal model regarding a given fitness function. Using Henshin, we specify evolutionary operators for MDEOptimiser, a novel search-based model optimisation tool.
- KonferenzbeitragInferring Visual Contracts from Java Programs(Software Engineering and Software Management 2019, 2019) Alshanqiti, Abdullah; Heckel, Reiko; Kehrer, TimoIn this work, we report about recent research results on ÒInferring Visual Contracts from Java ProgramsÓ, published in [1]. In this paper, we propose a dynamic approach to reverse engineering visual contracts from Java programs based on tracing the execution of Java operations. The resulting contracts give an accurate description of the observed object transformations, their effects and preconditions in terms of object structures, parameter and attribute values, and their generalised specification by universally quantified (multi) objects, patterns, and invariants. We explore potential uses in our evaluation, including in program understanding and testing, and we report on experimental results w.r.t. completeness (recall) and correctness (precision) of extracted contracts.