ontohub/hets-agent

Receive and perform proving/consistency checking commands

Opened this issue · 0 comments

eugenk commented

We want to prove conjectures and check the consistency of OMS in Ontohub. Hets already exposes a REST API to do this with the database. See the initial post of spechub/Hets#1836.

  • Receive a proving / consistency checking command from RabbitMQ
  • Transform it to the payload for the REST API of Hets
  • Call Hets via HTTP
  • Wait for Hets' response