Integrated view of algorithms 1 and 2: for path existence

• Both are similar to the intersection of two NDFAs

  • Algorithm 1 (Traversal Graph Algorithm): NDFA for strategy graph and NDFA for class graph: results in NDFA for traversal graph.
  • Algorithm 2: NDFA for traversal graph and NDFA for object graph: results in NDFA which tells us whether there is a non-empty traversal

Previous slide

Next slide

Back to first slide

View graphic version