6. Expression of customisation rules


Expressing a rule - problems:

Use of "design patterns"
"(a&b)" in XML DTDs -> "(a|b)*" or "(a,b)"
recursive sections in Thot S:
( list [1..n] of section ) | sequence of ( list[1..n] of para, list[0..n] of section )
Inventory of atomic customisations
Validation of result, when not using atomic customisations