Zobrazeno 1 - 10
of 21
pro vyhledávání: '"Jens Kosiol"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 20, Issue 3 (2024)
Sequential model synchronisation is the task of propagating changes from one model to another correlated one to restore consistency. It is challenging to perform this propagation in a least-changing way that avoids unnecessary deletions (which might
Externí odkaz:
https://doaj.org/article/047ec5c37eb64f6ead5cea953dceaf70
Publikováno v:
Software and Systems Modeling.
Optimization problems in software engineering typically deal with structures as they occur in the design and maintenance of software systems. In model-driven optimization (MDO), domain-specific models are used to represent these structures while evol
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::66046965ab88988efff8035e7aea541f
https://doi.org/10.1007/s10270-022-01078-x
https://doi.org/10.1007/s10270-022-01078-x
Autor:
Henri Thölke, Jens Kosiol
Publikováno v:
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a9fdebea25ff00ad504921cd6bdcc5cf
https://doi.org/10.1145/3550356.3561587
https://doi.org/10.1145/3550356.3561587
Publikováno v:
Graph Transformation ISBN: 9783031098420
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::11b79f2eb3a1556327ac336fa4bae73d
https://doi.org/10.1007/978-3-031-09843-7_6
https://doi.org/10.1007/978-3-031-09843-7_6
Autor:
Jens Kosiol, Gabriele Taentzer
Publikováno v:
Journal of Logical and Algebraic Methods in Programming. 130:100820
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8ef89d9213321b4f4d9303f416b1ec59
https://doi.org/10.1016/j.jlamp.2022.100820
https://doi.org/10.1016/j.jlamp.2022.100820
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
Autor:
Russ Harmer, Jens Kosiol
This book constitutes the refereed proceedings of the 17th International Conference on Graph Transformation, ICGT 2024, held in Enschede, The Netherlands, during July 10–11, 2024. The 10 full papers and 3 short papers included in this book were ca
Autor:
Jens Kosiol, Gabriele Taentzer
Publikováno v:
Graph Transformation ISBN: 9783030789459
ICGT
ICGT
Double-pushout rewriting is an established categorical approach to the rule-based transformation of graphs and graph-like objects. One of its standard results is the construction of concurrent rules and the Concurrency Theorem pertaining to it: The s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f91b310f4f1290d990ccf9084d4c94ef
https://doi.org/10.1007/978-3-030-78946-6_2
https://doi.org/10.1007/978-3-030-78946-6_2
Publikováno v:
SLE
Concurrent model synchronization is the task of restoring consistency between two correlated models after they have been changed concurrently and independently. To determine whether such concurrent model changes conflict with each other and to resolv
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::596c9032e0cb93c766829d0a8036045a
https://doi.org/10.1145/3426425.3426931
https://doi.org/10.1145/3426425.3426931
Model synchronization, i.e., the task of restoring consistency between two interrelated models after a model change, is a challenging task. Triple Graph Grammars (TGGs) specify model consistency by means of rules that describe how to create consisten
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2e163501993b8f7be15c28de2b3aa2e3
http://arxiv.org/abs/2005.14510
http://arxiv.org/abs/2005.14510