1. Determining Compliance
Three Steps
Verify regulation
Interactive Q&A
Compile results

2. Determining Compliance
Start
Verify XML against DTD
Verify logic rule sentences are consistent
Verify Regulation
Interactive Q&A
Compile Results
End

3. Determining Compliance
Start
Depth-first traversal of XML regulation
Ask user questions
Follow appropriate control elements
Check for logic sentence contradictions
Compile results if tree traversal is complete or logic sentence contradiction is found
Verify Regulation
Interactive Q&A
Compile Results
End

4. Determining Compliance
Start
Verify Regulation
Check that logic sentences are consistent
If sentences are inconsistent, find the source of inconsistency
Inconsistency implies non-compliance; assume compliance if sentences are consistent
Interactive Q&A
Compile Results
End