コード例 #1
0
 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();
   }
 }
コード例 #2
0
  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();
  }
コード例 #3
0
 protected SyntaxChecker getCheckerIBPMN(Document document) {
   IBPMNRDFImporter importer = new IBPMNRDFImporter(document);
   BPMNDiagram diagram = (IBPMNDiagram) importer.loadIBPMN();
   return diagram.getSyntaxChecker();
 }
コード例 #4
0
 protected SyntaxChecker getCheckerBPMN(Document document) {
   BPMNRDFImporter importer = new BPMNRDFImporter(document);
   BPMNDiagram diagram = importer.loadBPMN();
   return diagram.getSyntaxChecker();
 }