Open issues in disjunctive refinement
Directed partial consistency
- Mutex propagation is a form of reachability analysis
- Higher levels of directional consistency?
Supporting refinements other than FSR
- Direct naïve refinements are easy to support; enforcing an appropriate level of consistency is harder
- Some “relevance” based approaches exist for BSR
- Inseperability, backward mutex (see next)
- Can be used in conjunction with reachability analysis
- Enforcing effective consistency for PSR is still virgin territory…
-
-
-