Eine Entwurfsmethodik für Business-Anwendungen von anhand der logische Datenstrukturen der Programm-Spezifikation verwendet. Beispiele sind die Methoden Jackson System Design und Warnier-Orr.