DocumentCode
1031176
Title
Integrating formal notations and systems analysis: using entity relationship diagrams
Author
Polack, Fiona
Author_Institution
York Univ., UK
Volume
7
Issue
5
fYear
1992
fDate
9/1/1992 12:00:00 AM
Firstpage
363
Lastpage
371
Abstract
Work using the information conveyed in entity relationship diagrams to produce state schemas in the formal notation Z is given. The author proposes a draft technique for formalising an entity relationship diagram. The notations used are those of the structured analysis method, SSADM version 4, but the technique is more widely applicable. The benefits of integrating formal and structured specifications are discussed. The author draws on similar work by S. Stepney (1990) and L. Semmens P. Allen (1990), and D. Redmond-Pyle and M.B. Josephs (1990)
Keywords
entity-relationship modelling; formal languages; formal specification; SSADM version 4; draft technique; entity relationship diagrams; formal notation Z; state schemas; structured analysis method; structured specifications;
fLanguage
English
Journal_Title
Software Engineering Journal
Publisher
iet
ISSN
0268-6961
Type
jour
Filename
165492
Link To Document