1. strict goal hierarchy and methods are represented in an informal pseudo-code-like notation that can include submethods and conditionals

2. each method consists of a series of steps executed in strictly sequential order