Title page for ETD etd-022609-151429

Document Type	thesis
Author Name	Yoo, Daniel
Email Address	dyoo at cs.wpi.edu
URN	etd-022609-151429
Title	Alchemy: Transmuting Base Specifications into Implementations
Degree	MS
Department	Computer Science
Advisors	Kathi Fisler, Advisor George Heineman, Reader
Keywords	program synthesis relational specification alloy
Date of Presentation/Defense	2009-02-05
Availability	unrestricted
Abstract Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent databases. Alchemy translates a subset of Alloy predicates into imperative update operations, and it converts facts into database integrity constraints that it maintains automatically in the face of these imperative actions. In addition to presenting the semantics and an algorithm for this compilation, we present the tool and outline its application to a non-trivial specification. We also discuss lessons learned about the relationship between Alloy specifications and imperative implementations.
Files	thesis.pdf

Browse by Author | Browse by Department | Search all available ETDs