The process of extracting essential intellectual business logic in the form of business rules from packaged or legacy software applications and stating them in natural or formal language.