Worcester Polytechnic Institute Electronic Theses and Dissertations Collection

Title page for ETD etd-022609-151429


Document Typethesis
Author NameYoo, Daniel
Email Address dyoo at cs.wpi.edu
URNetd-022609-151429
TitleAlchemy: Transmuting Base Specifications into Implementations
DegreeMS
DepartmentComputer Science
Advisors
  • Kathi Fisler, Advisor
  • George Heineman, Reader
  • Keywords
  • program synthesis
  • relational specification
  • alloy
  • Date of Presentation/Defense2009-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

    [WPI] [Library] [Home] [Top]

    Questions? Email etd-questions@wpi.edu
    Maintained by webmaster@wpi.edu