Online "Book Flights" facility for an airline
Metarules
| Rule type | Template | Metarules |
| Cardinality rules (operative) | ||
| Mandatory data item rule | <cardinality> ::= {exactly <positive integer>| at least <positive integer> {and at most <positive integer>|}} | |
| RT39 | for data items that are part of complex data items | |
| RT38 | for other data items | |
| Mandatory option selection rule | RT16 | |
| Mandatory group rule | RT17 | if either or both of 2 items in the group |
| RT18 | if only 1 of 2 items in the group | |
| RT19 | if more than 2 items in the group | |
| Prohibited data rule | RT20 | |
| Singular data rule | <cardinality> ::= {exactly|at most} one | |
| RT39 | for data items that are part of complex data items | |
| RT38 | for other data items | |
| Dependent cardinality rule | RT27 | <set function> ::= number |
| Data content rules | ||
| Value set rule | RT21 | <predicate> ::= <value predicate> if only 1 data item |
| RT22 | <combination predicate> ::= <combination value set predicate> if combination of data items | |
| Match rule (operative) | RT21 | <predicate> ::= <match predicate> |
| Range rule | RT21 | <predicate> ::= <range predicate> |
| Uniqueness constraint | RT21 | <predicate> ::= <uniqueness predicate> if only 1 data item |
| RT22 | <combination predicate> ::= <combination uniqueness predicate> | |
| Set constraint (operative) | RT28 | |
| Data consistency rule | RT42 | |
| Temporal data non-overlap constraint | RT43 | |
| Temporal data completeness constraint | RT44 | |
| Temporal data inclusion constraint | RT45 | |
| Temporal single record constraint | RT46 | if only 1 changing data item |
| RT47 | if multiple changing data items | |
| Data item format rule | RT21 | <predicate> ::= <format predicate> |
| Process rules | ||
| Inter-process interval rule | RT34 | if rule statement expresses obligation (must) |
| RT35 | if rule statement expresses restricted permission (may … only) | |
| Prerequisite process rule | RT32 | |
| Other process pre-condition | RT33 | |
| Party rules | ||
| Party restriction rule | RT40 | |
| Role separation rule | RT41 | with must not |
| Role binding rule | RT41 | with must |
| Structural (definitional) rules | ||
| General definitional rule | RT25 | |
| Cardinality rule (structural) | RT36 | |
| Match rule (structural) | RT26 | <predicate> ::= <match predicate> |
| Set constraint (structural) | RT29 | |
| Data type definition rule | RT37 | |