REST APIs#

The OpenAPI definition of the REST APIs is in mc_openapi/openapi/model_checker.yaml.

The APIs can also be browsed with Swagger UI by appending /ui/ to the APIs’ HTTP address.

For APIs usage examples, you may look into the tests, in tests/test_mc_openapi.py. Some DOML examples in XMI format are sent to the server. One of them is correct (tests/doml/nginx-openstack_v2.domlx), and the server answers with "sat" (meaning the requirements are satisfied), and the other one contains an error (tests/doml/nginx-openstack_v2_wrong.domlx), so the server answers with "unsat".