VICToRy: Visual Interactive Consistency Management in Tolerant Rule-based Systems

12/03/2020
by   Nils Weidmann, et al.
0

In the field of Model-Driven Engineering, there exist numerous tools that support various consistency management operations including model transformation, synchronisation and consistency checking. The supported operations, however, typically run completely in the background with only input and output made visible to the user. We argue that this often reduces both understandability and controllability. As a step towards improving this situation, we present VICToRy, a debugger for model generation and transformation based on Triple Graph Grammars, a well-known rule-based approach to bidirectional transformation. In addition to a fine-grained, step-by-step, interactive visualisation, VICToRy enables the user to actively explore and choose between multiple valid rule applications thus improving control and understanding.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/10/2014

Verification of confliction and unreachability in rule-based expert systems with model checking

It is important to find optimal solutions for structural errors in rule-...
research
03/28/2018

Description Languages for Consistency Management Scenarios Based on Examples from the Industry Automation Domain

To cope with the increasing complexity of developing and maintaining mod...
research
12/02/2017

From knowledge-based to data-driven modeling of fuzzy rule-based systems: A critical reflection

This paper briefly elaborates on a development in (applied) fuzzy logic ...
research
03/27/2013

The Myth of Modularity in Rule-Based Systems

In this paper, we examine the concept of modularity, an often cited adva...
research
05/08/2020

Graph Consistency as a Graduated Property: Consistency-Sustaining and -Improving Graph Transformations

Where graphs are used for modelling and specifying systems, consistency ...
research
08/02/2020

Rule-based Bayesian regression

We introduce a novel rule-based approach for handling regression problem...
research
02/16/2010

Convergence of Bayesian Control Rule

Recently, new approaches to adaptive control have sought to reformulate ...

Please sign up or login with your details

Forgot password? Click here to reset