Faculty Advisor

Dougherty, Daniel J.

Abstract

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.

Publisher

Worcester Polytechnic Institute

Date Accepted

March 2015

Major

Computer Science

Project Type

Major Qualifying Project

Accessibility

Unrestricted

Advisor Department

Computer Science

Share

COinS