Zobrazeno 1 - 10
of 259
pro vyhledávání: '"Taentzer, Gabriele"'
When using graphs and graph transformations to model systems, consistency is an important concern. While consistency has primarily been viewed as a binary property, i.e., a graph is consistent or inconsistent with respect to a set of constraints, rec
Externí odkaz:
http://arxiv.org/abs/2405.08788
Mutation testing is an approach to check the robustness of test suites. The program code is slightly changed by mutations to inject errors. A test suite is robust enough if it finds such errors. Tools for mutation testing usually integrate sets of mu
Externí odkaz:
http://arxiv.org/abs/2404.14097
Many applications of graph transformation require rules that change a graph without introducing new consistency violations. When designing such rules, it is natural to think about the desired outcome state, i.e., the desired effect, rather than the s
Externí odkaz:
http://arxiv.org/abs/2305.03432
Data is of high quality if it is fit for its intended use. The quality of data is influenced by the underlying data model and its quality. One major quality problem is the heterogeneity of data as quality aspects such as understandability and interop
Externí odkaz:
http://arxiv.org/abs/2111.06661
Autor:
Kosiol, Jens, Taentzer, Gabriele
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:
http://arxiv.org/abs/2105.02309
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming January 2024 136
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:
http://arxiv.org/abs/2011.03357
As scientific progress highly depends on the quality of research data, there are strict requirements for data quality coming from the scientific community. A major challenge in data quality assurance is to localise quality problems that are inherent
Externí odkaz:
http://arxiv.org/abs/2007.11298
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:
http://arxiv.org/abs/2005.14510