Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Kristopher Born"'
Publikováno v:
Journal of Logical and Algebraic Methods in Programming. 103:105-129
Conflict and dependency analysis (CDA) is a static analysis for the detection of conflicting and dependent rule applications in a graph transformation system. The state-of-the-art CDA technique, critical pair analysis, provides all potential conflict
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fc1c324cc640a9c7360ad920705463cd
https://doi.org/10.1016/j.jlamp.2018.11.004
https://doi.org/10.1016/j.jlamp.2018.11.004
Publikováno v:
ICSE
Conflict and dependency analysis (CDA) of graph transformation has been shown to be a versatile foundation for understanding interactions in many software engineering domains, including software analysis and design, model-driven engineering, and test
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::44e220895617295ff10e118522cba5a4
https://doi.org/10.1145/3180155.3180258
https://doi.org/10.1145/3180155.3180258
Publikováno v:
Graph Transformation, Specifications, and Nets ISBN: 9783319753959
Graph Transformation, Specifications, and Nets
Graph Transformation, Specifications, and Nets
Considering a graph transformation system, a critical pair represents a pair of conflicting transformations in a minimal context. A conflict between two direct transformations of the same structure occurs if one of the transformations cannot be perfo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c2d61238ef45a0ba5866aec784a3fb6f
https://doi.org/10.1007/978-3-319-75396-6_6
https://doi.org/10.1007/978-3-319-75396-6_6
Publikováno v:
Graph Transformation ISBN: 9783319614694
ICGT
ICGT
Conflict and dependency analysis (CDA) is a static analysis for the detection of conflicting and dependent rule applications in a graph transformation system. The state-of-the-art CDA technique, critical pair analysis, provides its users the benefits
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::96ab7e521068c9e2ddb20c5a8cebfd6c
https://doi.org/10.1007/978-3-319-61470-0_8
https://doi.org/10.1007/978-3-319-61470-0_8
Autor:
Kristopher Born, Manuel Ohrndorf, Timo Kehrer, Matthias Tichy, Daniel Strüber, Kanwal Daud Gill, Raffaela Groner
Publikováno v:
Graph Transformation ISBN: 9783319614694
ICGT
ICGT
Improved usability of tools is a fundamental prerequisite for a more widespread industrial adoption of Model-Driven Engineering. We present the current state of Henshin, a model transformation language and framework based on algebraic graph transform
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1acb7bfb4d27c71b8baadb026994edf8
https://doi.org/10.1007/978-3-319-61470-0_12
https://doi.org/10.1007/978-3-319-61470-0_12
Autor:
Kristopher Born, Gabriele Taentzer
Publikováno v:
Graph Transformation ISBN: 9783319405292
ICGT
ICGT
Graph transformation has been shown to be well suited as formal foundation for model transformations. While simple model changes may be specified by simple transformation rules, this is usually not sufficient for more complex changes. In these situat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a0bbf8465c732e63992f1df0a2442675
https://doi.org/10.1007/978-3-319-40530-8_8
https://doi.org/10.1007/978-3-319-40530-8_8
Publikováno v:
Fundamental Approaches to Software Engineering ISBN: 9783662466742
FASE
FASE
Rule-based model transformation approaches show two kinds of non-determinism: (1) Several rules may be applicable to the same model and (2) a rule may be applicable at several different matches. If two rule applications to the same model exist, they
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::28b19c795528110a74253a4b804f2427
https://doi.org/10.1007/978-3-662-46675-9_11
https://doi.org/10.1007/978-3-662-46675-9_11