NDLI: Mapping between Alloy Specifications and Database Implementations

Content Provider	IEEE Xplore Digital Library
Author	Cunha, A. Pacheco, H.
Copyright Year	2009
Abstract	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.
Starting Page	285
Ending Page	294
File Size	804805
Page Count	10
File Format	PDF
ISBN	9780769538709
DOI	10.1109/SEFM.2009.27
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2009-11-23
Publisher Place	Vietnam
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Relational databases Object oriented modeling Application software Data models File systems Software engineering Java Programming Costs Data engineering Object-Relational Mapping Alloy relational model data modelling database-intensive application
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Bridging the Gap between Data Models and Implementations: XMI2SQL

Improving maintainability by unifying the object and relational models

Object Wrapper: an object-oriented interface for relational databases

Using Java to add "stored procedures" to databases

Dynamic systems specifications using versions and time

Kernel: A RDB-Based Object Persistence Component Set for Java

Evaluation of object oriented database support for software engineering environments

The research and design of object container technique

Relational database operations modeling with UML

Mapping between Alloy Specifications and Database Implementations

Similar Documents

Bridging the Gap between Data Models and Implementations: XMI2SQL

Improving maintainability by unifying the object and relational models

Object Wrapper: an object-oriented interface for relational databases

Using Java to add "stored procedures" to databases

Dynamic systems specifications using versions and time

Kernel: A RDB-Based Object Persistence Component Set for Java

Evaluation of object oriented database support for software engineering environments

The research and design of object container technique

Relational database operations modeling with UML

Mapping between Alloy Specifications and Database Implementations