A Rule is a formal notation expressing a computation that depends on a Condition.
This is a central notion for this WG.
Impact on Design
We must agree on what rules are that need to be interchanged. The rules considered by this WG are:
But there are other kinds of rules:
For More Information
(links, bibliographic entries, WG members who are experts, ...)