Verzweigungen aussagenlogisch erfassen?

[Der Martin]

Hallo Markus,

[komplexes Szenario]
Wäre es ev. möglich, jedes Verhalten aussagenlogisch so zu erfassen und auf das Ergebnis herunterzubrechen, sodass man im Endeffekt weiß, wie man wann welche Cookies erstellen oder abfragen muss?

ich habe dein Problem vermutlich noch nicht in seiner ganzen Tragweite erfasst - muss ich aber wahrscheinlich auch nicht. Anhand deiner Beschreibung würde ich aber spontan versuchen, das gesamte Verhalten in Form einer State Machine zu realisieren.
Du hast einen Zustand, der durch eine Reihe von einfachen Aussagen beschrieben wird (User ist registriert, User ist eingeloggt, Session existiert, Session-Cookie liegt vor, ...). Darüber hinaus gibt es bei jedem Request eine Reihe weiterer Bedingungen, und aus den bisherigen sowie den zusätzlichen Bedingungen ergibt sich ein neuer Zustand.

Hilft dir der Gedanke weiter?

So long,
 Martin