Ob Betriebsanleitungen, Preise oder Zertifikate, sie alle gelten nur unter bestimmten Bedingungen. Die Betriebsanleitung z. B. nur in China für E-Roller, der Preis nur für Privatpatienten und das Zertifikat nur bis zum nächsten Audit. Eine Bedingung kommt selten alleine und so entwickeln sich in vielen Anwendungen auf die eine oder andere Art Und-Oder-Bäume, welche solche Gültigkeiten beschreiben. Dieser Talk liefert Tipps für deren Architektur. Er zeigt Fallstricke, die man schon im Design umgehen kann und gibt Antworten auf die Fragen:
Wie kann man verhindern, dass zwei Preise gleichzeitig gelten? Wie verhindert man, dass gar keine Betriebsanleitung gültig ist? Wie geht man mit Gültigkeiten in hierarchischen Dokumenten richtig um? Wie bekommt man den Kunden dazu, selbst fehlerfreie Gültigkeiten zu formulieren?
Die Antworten sind ein Streifzug durch Parsing, Vereinfachung von Bedingungen und SAT-Solver im Java-Ökosystem.