The DEXPI Verificator
The verificator can produce an HTML verification report (model structure and detected errors) and a separate error log (xlsx spreadsheet; can be read with recent versions of LibreOffice or Excel, for example) for a Proteus XML file. Available as a command line or a GUI tool. More Info: Verificator website hosted by AixCAPE
DEXPI SPARQL-Endpoint
The Endpoints allow for SPARQL queries to be executed, tested and validated. The DEXPI SPARQL Endpoint is hosted by AixCAPE, for more information please visit their website.
DEXPI Sandbox
The DEXPI Sandbox is hosted by AixCAPE, for more information please visit their website.
Code, data and specification repository
We use a Gitlab repository for code versioning, issue tracking and tool collection. More info: https://gitlab.com/dexpi
SVG Graphic Builder
The SVG Graphic Builder converts a ProteusXML file to into an SVG file. SVG files can be visualized by every modern browser.