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(); }