Tools-15926 - a browser-based application for test certain parts of ISO-15926
Tools-15926 implements tools to test whether given schema and data of Parts 2, 7 and 8 of ISO 15926 are logically well-formed and consistent. See also 15926.org
Implementation of this application began in 2012, at which time it was used for validation of "templates." These templates describe a metamodel (or schema) for lifecycle data for process plants conforming to one of the ISO 15926 parts. The software reads Part 2 EXPRESS and OWL definitions of templates. It uses the Vampire theorem prover for consistency checking. It uses the OMG's Ontology Definition Metamodel (ODM) to map these to structures presented in the browser.
The implemenation is currently recovering from code rot.
- The (Common Lisp) code is now compiled with SBCL.
- It uses a new, apparently well-maintained, open source version of Vampire.
- Owing to the fact that it has been about 9 years since this application has been used, parts of it are currently broken, (particularly parts pertaining to Parts 7 and 8). Correcting this is work-in-progress.
Usage
[This will describe how to run the program from Docker.]
To Do
- Explore the Part 7/8 interface.
Disclaimer
This software was developed by NIST. This disclaimer applies.