protected void processIBPMN(Document document, List<Transition> conflictingTransitions)
throws SyntaxErrorException {
IBPMNRDFImporter importer = new IBPMNRDFImporter(document);
BPMNDiagram diagram = (IBPMNDiagram) importer.loadIBPMN();
BPMNSyntaxChecker checker = diagram.getSyntaxChecker();
if (!checker.checkSyntax()) throw new SyntaxErrorException(checker.getErrors());
InteractionNet net = (InteractionNet) new IBPMNConverter(diagram).convert();
new EnforceabilityChecker(net).checkEnforceability();
}
protected SyntaxChecker getCheckerIBPMN(Document document) {
IBPMNRDFImporter importer = new IBPMNRDFImporter(document);
BPMNDiagram diagram = (IBPMNDiagram) importer.loadIBPMN();
return diagram.getSyntaxChecker();
}