In HeKatE a number of cases has been modeled.

Currently modeled cases include:

• Thermostat case
• Cashpoint case
• Cardiological case
• Health case
• Hello case
• UpSell case
• (Skeleton case, use it to implement your own)

Cases in progress:

• Vacation

Older cases:

• OLD thermostat

To describe a new case:

1. use the cases HowTo, step by step
2. read HeKatE design proces description
3. use the Skeleton case
4. create a new description, using the above and HaDEs

A list of cases to be implemented is here.