Дизайн методологія, яка використовується для бізнес заявок на основі структури логічні даних програми специфікації. Приклади включають дизайн системи Джексон і Warnier-Орр методів.