Encyclopedia of Delay-Insensitive Systems (EDIS)

E-Mail Processor for AND/IF

An e-mail processor is available to validate AND/IF expressions and to analyze and compare XDI specifications expressed in AND/IF. Send your AND/IF expressions by e-mail to andif@win.tue.nl, using one of the subjects: help, validate, xdi-analyze, or xdi-compare; optionally followed by a keyword to indicate the amount of detail in the output report: compact, normal, or verbose; `normal' is default.

help

Returns a help message. Currently, this message only contains the URL of the information page.

validate

Each AND/IF expression is parsed for syntax errors, reported in the return mail.

xdi-analyze [ compact | verbose ]

Each AND/IF expression is parsed for syntax errors and interpreted as an XDI specification and analyzed. The return mail contains an extensive analysis report (to be explained in detail later).

xdi-compare [ compact | verbose ]

Each AND/IF expression is parsed for syntax errors and interpreted as an XDI specification, and grouped in adjacent pairs. Pairs of AND/IF expressions are compared for refinement in both ways: for pair (X, Y), both `X refines Y' and `X is refined by Y' are investigated. The return mail contains an extensive comparison report (to be explained in detail later).

Notes

Any subject field other than mentioned above is ignored! There is no reply in that case (to avoid problems with spammers).
A message may contain more than one (pair of) AND/IF expressions. All (pairs of) AND/IF expressions are processed sequentially, also when originating from separate messages.
Currently, there is a limit of 900 cpu seconds (200 MHz Sun UltraSparc-2 processor, 256 MB RAM) per message. Only output generated within the time limit is returned.

Encyclopedia of Delay-Insensitive Systems (EDIS)

E-Mail Processor for AND/IF

Notes

Last modified at Mon Oct 26 11:57:12 1998