Skip to main content
SpringerLink
Log in
Book cover

British National Conference on Databases

BNCOD 1996: Advances in Databases pp 107–123Cite as

SPEAR: Extending ER for dynamic behaviour and refinement

  • Technical Papers
  • Conference paper
  • First Online:

  • 147 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1094))

Abstract

SPEAR is an Entity-Relationship approach to modelling database systems which not only captures static requirements, but also dynamic behaviour. The notation can be used to give high level abstract requirements, or more detailed implementation level designs, and an additional refinement notation can be used to describe how specifications at different levels relate to one another. Tools to support the use of the notation, through a natural language interface, have been developed and have been used to construct the examples given.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. The Entity-Relationship Model — Toward a Unified View of Data, P.P.Chen, ACM Trans. Database Systems, Vol 1, Num 1, March 1976, pp9–36.

    Google Scholar 

  2. Abstract and Concrete Models for Secure Database Applications, S. Wiseman, Procs. IFIP WG11.3 Workshop on Database Security, Shepherdstown, WV, November 1991, pp 239–273, publ. North Holland.

    Google Scholar 

  3. The SPEAR Data Design Method, P.J. Sell, Procs. IFIP WG11.3 Workshop on Database Security, Vancouver, BC, August 1992, pp 55–72, North Holland.

    Google Scholar 

  4. The Z Notation — A Reference Manual, J.M.Spivey, Prentice-Hall, ISBN-0-13-983768-X, 1989.

    Google Scholar 

  5. Conceptual Database Design, C.Batini, S.Ceri & S.B.Navathe, Benjamin/Cummings, ISBN-0-8053-0244-1, 1992.

    Google Scholar 

  6. SABRE User Guide, E.R.Bilsby, S.R.Lewis & B.R.Pomeroy, February 1996.

    Google Scholar 

  7. SPEAR User Guide — Volume 1: Using SPEAR to Model the Information Structure of an Application, S.R.Lewis, E.R.Bilsby & B.R.Pomeroy, March 1996.

    Google Scholar 

  8. SPEAR User Guide — Volume 2: Using SPEAR to Model The Dynamic Behaviour of an Application, S.R.Lewis, E.R.Bilsby & B.R.Pomeroy, March 1996

    Google Scholar 

  9. A Comparison of Commercial and Military Computer Security Policies, D.D.Clark & D.R.Wilson, Procs. IEEE Symp. on Security and Privacy, Oakland CA, April 1987, pp184–194.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Defence Research Agency Malvern, WR14 3PS, Worcestershire

    Simon Wiseman & Bryony Pomeroy

Authors
  1. Simon Wiseman
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Bryony Pomeroy
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Ron Morrison Jessie Kennedy

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Wiseman, S., Pomeroy, B. (1996). SPEAR: Extending ER for dynamic behaviour and refinement. In: Morrison, R., Kennedy, J. (eds) Advances in Databases. BNCOD 1996. Lecture Notes in Computer Science, vol 1094. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61442-7_7

Download citation

  • DOI: https://doi.org/10.1007/3-540-61442-7_7

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61442-5

  • Online ISBN: 978-3-540-68589-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation