20. The method of claim 19 , where reading a trigger constraint comprises: reading an event constraint and an attribute constraint on the event constraint.
19. The method of claim 17 , where reading an event implication model comprises: reading a trigger constraint and a resulting implication.