An examination of the process of building a business process model, capturing it in a formal requirements statement and developing a precise specification. The issues of testing and design for testing are considered throughout the process, and the methods and mathematical theory are discussed.