Alchemy: transmuting base alloy specifications into implementations

Shriram Krishnamurthi, Kathi Fisler, Daniel J. Dougherty, Daniel Yoo

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.

BibTeX

@inproceedings{Krishnamurthi-al:FSE08,
  author    = {Shriram Krishnamurthi and
               Kathi Fisler and
               Daniel J. Dougherty and
               Daniel Yoo},
  title     = {Alchemy: transmuting base alloy specifications into implementations},
  booktitle = {FSE},
  pages     = {158--169},
  publisher = {{ACM}},
  year      = {2008},
}

Alchemy: transmuting base alloy specifications into implementations

Abstract

Related papers