Title :
An introduction to three perspectives on formal specification review
Author_Institution :
Sch. of Software, Shanghai Jiao Tong Univ., China
Abstract :
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.
Keywords :
Petri nets; Vienna development method; data flow analysis; formal specification; object-oriented languages; specification languages; structured programming; Petri nets; SOFL specification language; VDM; Vienna development method; data flow analysis; data flow diagrams; formal specification; integrated formalism; object-oriented languages; Data mining; Fault detection; Fault diagnosis; Formal languages; Formal specifications; Petri nets; Specification languages;
Conference_Titel :
Engineering of Complex Computer Systems, 2005. ICECCS 2005. Proceedings. 10th IEEE International Conference on
Print_ISBN :
0-7695-2284-X
DOI :
10.1109/ICECCS.2005.20
