Portal de Periódicos da CAPES

Integrating formal notations and systems analysis: using entity relationship diagrams

1992; Volume: 7; Issue: 5 Linguagem: Inglês

10.1049/sej.1992.0037

2053-910X

Fiona Polack,

Model-Driven Software Engineering Techniques

The paper looks at recent work using the information conveyed in entity relationship diagrams to produce state schemas in the formal notation Z. It 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 paper draws on similar work by Stepney [1] Semmens [2] and Redmond-Pyle [3].