The growing complexity and diversity of models used for engineering dependable systems
implies that a variety of formal methods, across differing abstractions, paradigms, and …

View update is an important mechanism that allows updates on a view by translating them
into the corresponding updates on the base relations. The existing literature has shown the …

Most verification approaches embed a model of program state into their semantic treatment.
Though a variety of heterogeneous state-space models exists, they all possess common …

Among the frameworks of bidirectional transformations proposed for addressing various
synchronisation (consistency maintenance) problems, Foster et al.'s [2007] asymmetric …

Putback-based bidirectional programming allows the programmer to write only one
backward transformation, from which the unique corresponding forward transformation is …

We have been discussing data sharing among autonomous independent sites in the
distributed system to meet various demands for application. Among them the need for …

Bidirectional transformation has played important roles in broad areas, database
management, programming language, and model-driven development after Foster et al …

Bidirectional transformations between different representations of related information appear
frequently in many different areas like databases, software engineering, and programming …

The co-existence of relational schemas is an important feature of a database. A schema
evolves to new versions, and then these multiple schema versions concurrently serve to …

Over the past decade, reactive frameworks and languages have become the dominant
programming paradigm in front-end web development. In this paradigm, user actions …