|
Performance Model
Interchange Format (PMIF): Semantic Validation
PMIF
validation
tool download
People interested in the source code, please contact cllado@uib.es
API
Documentation
PMIF
Validation Technical Report
Case Study
- ATM.xml (original and valid)
- ATM-Modified.xml (not
valid).
- The validations are carried out following a set of
phases in such a way that a phase only starts if the validation of the
previous one has finished without errors. Therefore, we show the
different validation results and intermediate ATM files, for the
different passes of "validation-correction" (once the error appearing
in the last results file is corrected, we have a valid PMIF file).
|
