Skip to main content
SpringerLink
Log in

A structured analysis formalism with execution semantics to allow unambiguous model interpretation

  • Conference paper
  • First Online:
Software Engineering — ESEC '95 (ESEC 1995)

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

Included in the following conference series:

  • 156 Accesses

Abstract

Graphical specifications are more popular than their formal counterparts. Their underlying formalisms are generally quite simple and models can be constructed intuitively. However, the lack of formality inherent in graphical formalisms means that it is possible to derive multiple interpretations from the same model.

This paper presents a structured analysis formalism which has an execution semantics, allowing a single unambiguous interpretation to be obtained from the graphical models produced. The semantics makes the formalism appropriate for automated specification execution. Such execution will allow the correct model interpretation to be animated, to aid user requirements validation.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. A. Burns and J. A. Kirkham. The construction of information management system prototypes in ada. Software — Practice and Experience, 16(4):341–350, April 1986.

    Google Scholar 

  2. T. DeMarco. Structured Analysis and System Specification. Prentice-Hall, Inc., Englewood Cliffs, New Jersey, 1978.

    Google Scholar 

  3. M. D. Fraser, K. Kumar, and V. K. Vaishnavi. Informal and formal requirements specification languages: Bridging the gap. IEEE Transactions On Software Engineering, 17(5):454–466, May 1991.

    Article  Google Scholar 

  4. N. Fuchs. Specifications are (preferably) executable. Software Engineering Journal, pages 323–334, September 1992.

    Google Scholar 

  5. C. Gaskell and R. Phillips. A graphical formalism for executable specification. Technical Report 92/15, Department of Computer Science, University of Hull, May 1992.

    Google Scholar 

  6. C. Gaskell and R. Phillips. Executable specifications and case. Software Engineering Journal, July 1994.

    Google Scholar 

  7. C. Gaskell and R. Phillips. Software architecture of the executable graphical specification tool — egsl. Technical Report 94/5, Department of Computer Science, University of Hull, 1994.

    Google Scholar 

  8. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming, 8:231–274, 1987.

    Article  Google Scholar 

  9. D. Harel. Biting the silver bullet. Computer (IEEE), pages 8–20, January 1992.

    Google Scholar 

  10. D. Harel, A. Pnueli, J. P. Schmidt, and R. Sherman. On the formal semantics of statecharts. In Proceedings of the Symposium on Logic in Computer Science, pages 54–64, Ithaca, New York, June 22–25 1987. IEEE Computer Society Press.

    Google Scholar 

  11. D. Hatley and I. Pirbhai. Strategies for Real-Time System Specification. Dorset House Publishing, New York, 1987.

    Google Scholar 

  12. R-J Lea and C-G Chung. Rapid prototyping from structured analysis: executable specification approach. Information and Software Technology, 32(9):589–597, November 1990.

    Article  Google Scholar 

  13. I. Mitchell, P. Dunne, J. Moses, and N. Parrington. An object-oriented case tool for analysis. In Proceedings of the first international congress on META-CASE, Sunderland, UK, January 5–6 1995. (formal proceedings to be published).

    Google Scholar 

  14. P. Pulli, J. Dahler, H. P. Gisiger, and A. Kundig. Execution of ward's transformation schema on the graphic specification and prototyping tool specs. In COM-PEURO88 — Systems Design, Concepts, Methods and Tools, pages 16–25, Brussels, April 11–14 1988. IEEE Computer Society Press, Washington D.C., USA.

    Google Scholar 

  15. P. J. Pulli. An object oriented approach to distributed prototype execution of sa/rt specifications. In Proc. Structured Techniques Assoc. Conf. STA5, Univ Chicago, Chicago IL., May 1989.

    Google Scholar 

  16. P. J. Pulli. Real-time pattern matching technique for executable sa/rt specifications. In Proceedings of COMPEURO' 90: IEEE Int. Conf. on Computer Systems and Software Engineering, pages 288–295, Tel-Aviv, Israel, May 8–9 1990. IEEE Computer Society Press, Los Alamilos, California, USA.

    Google Scholar 

  17. E. L. Reilly and J. W. Brackett. An experimental system for executing real-time structured analysis models. In Proceedings of the 12th Structured Methods Conference: SMC XII, pages 301–313, Chicago, Illinois, August 1987.

    Google Scholar 

  18. G. Tate. Prototyping: Helping to build the right software. Information and Software Technology, 32(4):237–244, May 1990.

    Article  Google Scholar 

  19. P. T. Ward. The transformation schema: An extension of the data flow diagram to represent control and timing. IEEE Transactions On Software Engineering, 12(2):198–210, February 1986.

    Google Scholar 

  20. P. T. Ward and S. Mellor. Structured Development for Real-Time Systems. Prentice-Hall, Englewood Cliffs, New Jersey, 1985.

    Google Scholar 

  21. R. L. Wexelblat, editor. ACM SIGPLAN NOTICES: Haskell special issue, volume 27(5). ACM Press, 1515 Broadway, New York 10036, May 1992.

    Google Scholar 

  22. E. Yourdon. Modern Structured Analysis. Prentice-Hall Inc., Englewood Cliffs, New Jersey, 1989.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Hull, HU6 7RX, Hull, UK

    Craig Gaskell & Roger Phillips

Authors
  1. Craig Gaskell
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Roger Phillips
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Wilhelm Schäfer Pere Botella

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gaskell, C., Phillips, R. (1995). A structured analysis formalism with execution semantics to allow unambiguous model interpretation. In: Schäfer, W., Botella, P. (eds) Software Engineering — ESEC '95. ESEC 1995. Lecture Notes in Computer Science, vol 989. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60406-5_18

Download citation

  • DOI: https://doi.org/10.1007/3-540-60406-5_18

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60406-8

  • Online ISBN: 978-3-540-45552-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation