Granularity of conflicts and dependencies in graph transformation systems: A two-dimensional approach-Reference-Cited by-同舟云学术

Granularity of conflicts and dependencies in graph transformation systems: A two-dimensional approach

Published:2019-02 Issue: Volume:103 Page:105-129
ISSN:2352-2208
Container-title:Journal of Logical and Algebraic Methods in Programming
language:en
Short-container-title:Journal of Logical and Algebraic Methods in Programming

Author:

Lambers Leen,Born Kristopher,Kosiol Jens,Strüber Daniel,Taentzer Gabriele

Funder

German Research Foundation

Horizon 2020

Publisher

Elsevier BV

Subject

Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic

Reference33 articles.

1. Tutorial introduction to graph transformation: a software engineering perspective;Baresi,2002

2. A review of research in mechanical engineering design. Part II: Representations, analysis, and design for the life cycle;Finger;Res. Eng. Des.,1989

3. Graph transformation in molecular biology;Rosselló,2005

4. Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation;Hausmann,2002

5. Detecting and resolving model inconsistencies using transformation dependency analysis;Mens,2006

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Taint Analysis for Graph APIs Focusing on Broken Access Control;Lecture Notes in Computer Science;2024

2. From two-way to three-way: domain-specific model differencing and conflict detection.;The Journal of Object Technology;2023

3. Sustaining and improving graduated graph consistency: A static analysis of graph transformations;Science of Computer Programming;2022-02

4. Transformation rules with nested application conditions: Critical pairs, initial conflicts & minimality;Theoretical Computer Science;2021-09

5. Automated Checking and Completion of Backward Confluence for Hyperedge Replacement Grammars;Graph Transformation;2021