Mapping between Alloy specifications and database implementations

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2009

Autores

Cunha, A (Autor) Outra; Pacheco, H (Autor) Outra

Ata de Conferência Internacional

Título: SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS

Páginas: 285-294

7th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009)

Hanoi, VIETNAM, NOV 23-27, 2009

Indexação

ISI Web of Knowledge - 7 Citações

Scopus - 10 Citações

Outras Informações

ID Authenticus: P-003-S47

DOI: 10.1109/sefm.2009.27

Abstract (EN): The emergence of lightweight formal methods tools such as Alloy improves the software design process, by encouraging developers to model and verify their systems before engaging in hideous implementation details. However, an abstract Alloy specification is far from an actual implementation, and manually refining the former into the latter is unfortunately a non-trivial task. This paper identifies a subset of the Alloy language that is equivalent to a relational database schema with the most conventional integrity constraints, namely functional and inclusion dependencies. This semantic correspondence enables both the automatic translation of Alloy specifications into relational database schemas and the reengineering of legacy databases into Alloy. The paper also discusses how to derive an object-oriented application layer to serve as interface to the underlying database.

Idioma: Inglês

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

Nº de páginas: 10