JOMDoc/OMBase Use Cases

Use cases to test JOMDoc and OMBase:


 * 1) An OMDoc file containing theory, theory-inclusion, assertion and proof in an arbitrary order is read. It holds references to OMDoc elements in a database and in other files in the current directory. All references are resolved, and it is checked whether the targets exist and have the correct types. All OpenMath objects are checked whether they only use symbols that exist in the current scope. The dependency relation between the elements is computed, and the elements are topologically sorted. Then the file is uploaded to the database. During this operation, the file structure is dissolved, all files references locally are uploaded as well, and the referential integrity must be maintained. (Florian)
 * 2) As (1), but there are also presentation elements, and a set of interlinked HTML files is generated from the OMDoc content. (Florian)
 * 3) Retrieve data from OMBase using JOMDoc and OMPath URIs, manipulate the JOMDoc data structures and write them back to OMBase. As much as possible of the original structure of the resources in OMBase must be preserved. (I.e. URI-referenced resources should be retrieved from OMBase on demand, and JOMDoc should remember their source URI to write them back if requested.)