Logik ohne künstliche Grenzen Beliebig viele Bedingungen, Aktionen und Regeln: Ebenso beliebig viele Werte für Bedingungen und Aktionen: Softwaregestützte Erstellung der Spezifikation Software-Generierung