DocumentCode
3549504
Title
An introduction to three perspectives on formal specification review
Author
Yao, Jianping
Author_Institution
Sch. of Software, Shanghai Jiao Tong Univ., China
fYear
2005
fDate
16-20 June 2005
Firstpage
8
Lastpage
9
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Engineering of Complex Computer Systems, 2005. ICECCS 2005. Proceedings. 10th IEEE International Conference on
Print_ISBN
0-7695-2284-X
Type
conf
DOI
10.1109/ICECCS.2005.20
Filename
1467873
Link To Document