next up previous contents
Next: ECAassertion Up: Active Rules in ConceptBase Previous: Active Rules in ConceptBase

Definition of ECArules

In ConceptBase, active rules are defined similar to query classes. The user has to create an instance of the builtin class ECArule. The following frame shows the Telos definition of the class ECArule.

Class ECArule with
attribute
    ecarule : ECAassertion;
    priority_after: ECArule;
    priority_before : ECArule;
    mode : ECAmode;
    active : Boolean;
    depth : Integer;
    rejectMsg : String
constraint
    { ... }
end

A correct ECArule must specify at least the attribute ecarule, the other attributes are optional. The language for ECAassertions is a extension of the assertion language, it is specified as text between $ signs in the same way as rules and constraints.





ConceptBase Team