An introduction to three perspectives on formal specification review

This paper gives an introduction to three perspectives on formal specification review. These three perspectives on specification review are: (1) data-oriented review, (2) process-oriented review, (3) scenario-oriented review. For every perspective, the critical properties to review and the corresponding review methods are put forward. This technique is applied to the SOFL specification language, which is an integrated formalism of VDM, Petri nets, and data flow diagrams, to discuss how to review each of these perspectives.