Check whether a given deployment implements a given schema

[stefjoosten]

As a software engineer, I want to know whether a system running in production is an implementation of a given schema, so I can generate services (interfaces or rules) in that system without migration. This is related to issue #1403. This issue depends on issue AmpersandTarski/Prototype#111 for accessing the schema.

[stefjoosten]

Analysis

Informally speaking, a system $\mathscr{S}$ with schema $\mathscr{Z}'$ implements a schema $\mathscr{Z}$ if all elements of $\mathscr{Z}$ are in $\mathscr{Z}'$. As a consequence, every interface that is compatible with $\mathscr{Z}'$ can communicate with $\mathscr{S}$ without runtime errors.