Rules

A Kheops program consists of rules, in the format given below.

$$rulename: condition ==> action;$$

There, the condition consists of one or more attributes compared to values. The allowed operators are given in Table 3.1. Attributes have to be separated with the logical operators: ',' (AND) ,'|' (OR), '!' (NOT).

Table 3.1: Kheops operators

Type	Operator
boolean	implicit !
string	== != oneof noneof
integer	== != ? ! ?= != inside outside
real	?= ! inside outside

Conditions could be time dependent, which is useful during developing real-time systems [1,2].

The action could be either an explicit restriction on the possible values of an attribute or an evaluation of an C expression. There could be multiple actions linked with logical AND (',').