INTERACTIVE WEB SERVICES WITH JAVA

Checking Summary Graphs

Summary graphs are the basis for checking our three desired properties:

only gaps that are present will be plugged
all input fields are present when received
all XML shown is valid

For every expression of the form:

X<[g=Y]

we must check that all documents described by the summary graph obtained for X contains a gap named g.

For every expression of the form:

receive f

we must first find all statements of the form:

show X

that are relevant to this point in the execution, and for each of those determine if all documents described by the summary graph obtained for X contains a field named f.

For every statement of the form:

show X

it is checked that all documents described by the summary graph obtained for X are valid XHTML documents.