Bx Examples Repository
Title: CatPictures
Version: 0.1
Type:
Sketch.
Overview
This example is chosen to demonstrate that having information loss in both forward and backward directions can be quite natural.
This can be viewed as a motivation for symmetric approaches (e.g., symmetric edit lenses or also TGGs, constraint-based approaches, etc.).
Models
The data structures involved are (1) a tree structure representing a file system with folders and files, and (2) a list representing entries displayed in a web (cat) picture gallery.
A concrete example is depicted in the image below.
Note that the entries have tags that are not present in the file system, and that the folder structure of the file system cannot be induced from the list on the website.
Consistency
A pair of file system and web gallery models is consistent if there is a bijection between all files in the file system and all entries in the web picture gallery.
Consistency Restoration
A series of possible changes and expected propagation is discussed in these slides.
Properties [optional section]
Variants [optional section]
Discussion
References [optional section]
This example is taken from the following slides, held by Martin Hofmann as part of a summer school on bx.
Author(s)
Martin Hofmann, Anthony Anjorin
Reviewer(s)
Comments
Artefacts [optional section]
An implementation with TGGs (using eMoflon) can be downloaded here.