Composing Least-change Lenses

• Tipo: Artigo em Revista Científica Internacional
• Data: 2013

Autores

Macedo, N (Autor) Outra; Pacheco, H (Autor) Outra; Cunha, A (Autor) Outra; Oliveira, JN (Autor) Outra

Revista

A Revista está pendente de validação pelos Serviços Administrativos.

Título: ECEASST

Vol. 57

ISSN: 1863-2122

Indexação

Scopus - 7 Citações

Outras Informações

ID Authenticus: P-00G-BM7

DOI: 10.14279/tuj.eceasst.57.868.862

Abstract (EN): Non-trivial bidirectional transformations (BXs) are inherently ambiguous, as there are in general many different ways to consistently translate an update from one side to the other. Existing BX languages and frameworks typically satisfy fundamental first principles which ensure acceptable and stable (well-behaved) translation. Unfortunately, these give little insight about how a particular update translation is chosen among the myriad possible. From the user perspective, such unpredictability may hinder the adoption of BX frameworks. The problem can be remedied by imposing a "principle of least change" which, in a state-based framework, amounts to translating each update in a way such that its result is as close as possible to the original state, according to some distance measure. Starting by formalizing such BXs focusing on the particular framework of lenses, this paper discusses whether such least-change lenses can be defined by composition, an essential construct of BX frameworks. For sequential composition, two (dual) update translation alternatives are presented: a classical deterministic one and a nondeterministic. A key ingredient of the approach is the elegant formalization of the main concepts in relation algebra, which exposes several similarities and dualities. © Bidirectional Transformations 2013.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 19