Alchemy: Transmuting Base Specifications into Implementations
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...
Main Author: | |
---|---|
Other Authors: | |
Format: | Others |
Published: |
Digital WPI
2009
|
Subjects: | |
Online Access: | https://digitalcommons.wpi.edu/etd-theses/168 https://digitalcommons.wpi.edu/cgi/viewcontent.cgi?article=1167&context=etd-theses |