We present a new extension to the Hominy model finding utility, allowing it to be used interactively. This extension provides a command line interface with a read-eval-print loop (REPL) and a Web-based graphical interface. These allow the user to interactively discover the consequences of applying particular augmentations to models. We define a query language to facilitate this exploration. The semantics of this query language are defined in terms of a directed graph structure on the space of finite models of a geometric theory.

• This report represents the work of one or more WPI undergraduate students submitted to the faculty as evidence of completion of a degree requirement. WPI routinely publishes these reports on its website without editorial or peer review.

Creator

• Beal, Taymon Angus

Publisher

• Worcester Polytechnic Institute

Identifier

• E-project-032615-010605

Advisor

• Dougherty, Daniel J.

Year

• 2015

Date created

• 2015-03-26

Resource type

• Major Qualifying Project

Major

• Computer Science

Rights statement

• In Copyright

License

• All rights reserved