protected SyntaxChecker getCheckerBPMN11(Document document) {
BPMN11RDFImporter importer = new BPMN11RDFImporter(document);
BPMNDiagram diagram = importer.loadBPMN();
if (context != null && context.equals("bpmn2pn")) {
return new BPMN2PNSyntaxChecker(diagram);
} else {
return diagram.getSyntaxChecker();
}
}
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();
}
protected SyntaxChecker getCheckerBPMN(Document document) {
BPMNRDFImporter importer = new BPMNRDFImporter(document);
BPMNDiagram diagram = importer.loadBPMN();
return diagram.getSyntaxChecker();
}
