Mapping between Alloy specifications and database implementations

• Type: Article in International Conference Proceedings Book
• Date: 2009

Authors

Cunha, A (Author) Other; Pacheco, H (Author) Other

Conference proceedings International

Title: SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS

Pages: 285-294

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

Hanoi, VIETNAM, NOV 23-27, 2009

Indexing

ISI Web of Knowledge - 7 Citations

Scopus - 10 Citations

Other information

Authenticus ID: 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.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 10