In HorME wird ein abstraktes Programmiermodell erstellt, das von einer entsprechenden Ausführungsumgebung unterstützt wird. Dadurch können komplexe Tasks und ihre Ausführungskriterien codiert werden,
