Skip to main content
SpringerLink
Log in

Improving Structured Analysis — Achieving Preciseness, Executability, and Real-Time Specification

  • Chapter
Requirements Engineering ’93: Prototyping

Part of the book series: Berichte des German Chapter of the ACM ((BGCACM))

  • 92 Accesses

Abstract

SA-RT-IM (Structured Analysis with Real-Time extensions and Information Modelling — is a graphical requirements analysis method, combining well-known techniques like data flow diagrams, state transition diagrams, and the entity relationship model. Despite being widespread, SA-RT-IM suffers from considerable drawbacks: It does not express concurrent control clearly, it lacks in specifying hard real-time constraints, it is not executable, and its syntax and semantics are defined incompletely and ambiguously. Our improvements shall remove these disadvantages: We use Timed Statecharts for the specification of concurrent and timed control processes, introduce additional data flow attributes and additional control flow types, use finite automata for defining precise semantics of data and control processes, develop a table specifying the activation condition of a data process, and present possibilities to make SA-RT-IM executable.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 49.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. T. DeMarco: Structured Analysis and System Specification, Yourdon Press, (1979)

    Google Scholar 

  2. S. McMenamin, J. Palmer: Essential Systems Analysis, Englewood Cliffs, Prentice Hall, (1984)

    Google Scholar 

  3. D. Hatley, I. Pirbhai: Strategies for Real-Time System Specification, New York: Dorset House, (1987)

    Google Scholar 

  4. M. Keller, K. Shumate: Software Specification and Design: A Disciplined Approach for Real-Time Systems, John Wiley and Sons, Inc., (1992)

    Google Scholar 

  5. P. Ward, S. Mellor: Structured Development for Real-Time Systems, New York, Yourdon Press, (1985)

    Google Scholar 

  6. E. Yourdon: Modern Structured Analysis, Prentice-Hall, (1989)

    Google Scholar 

  7. A. Finkelstein, S. Goldsack: Requirements engineering for real-time systems, lEE Software Engineering Journal, May, (1991)

    Google Scholar 

  8. E. Brinksma: Information Processing Systems - Open Systems Interconnection - LOTOS - A Formal Description Technique based upon the Temporal Ordering of Observational Behaviour, Draft International Standard ISO 8807, (1988)

    Google Scholar 

  9. R. Milner: A Calculus of Communicating Systems, LNCS 92, Springer-Verlag, (1980)

    Google Scholar 

  10. C. Hoare: Communicating Sequential Processes Prentice Hall, (1985)

    Google Scholar 

  11. C. Jones: Systematic Software Development Using VDM, Series in Computer Science, Prentice Hall, 2. edition, (1990)

    Google Scholar 

  12. D. Hard: Statecharts: A visual formalism for complex systems, Sci. Comput. Program., vol. 8, pp. 231–274, (1987)

    Article  Google Scholar 

  13. Y. Kesten, A. Pnueli: Timed and Hybrid Statecharts and their Textual Representation, LNCS 571, Springer-Verlag, pp. 591–620, (1992)

    Google Scholar 

  14. A. Salomaa: Formal Languages, ACM Monograph Series, Academic Press, (1973)

    MATH  Google Scholar 

  15. P. Ward: Embedded Behaviour Pattern Languages: A Contribution to a Taxonomy of Case Languages, The Journal of Systems and Software, vol. 9, pp. 109–128, (1989)

    Article  Google Scholar 

  16. D. Hard, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. ShtullTrauring, M. Trakhtenbrot: STATEMATE: A Working Environment for the Development of Complex Reactive Systems, IEEE Trans. on Software Eng., vol. 16, pp. 403–414, (1990)

    Article  Google Scholar 

  17. A. Pnueli, M. Shalev: What is in a Step: On the Semantics of Statecharts, LNCS 526, Springer-Verlag, pp. 244–264, (1991)

    Google Scholar 

  18. O. Maler, Z. Manna, A. Pnueli: From Timed to Hybrid Systems, LNCS 600, Springer-Verlag, pp. 447–484, (1992)

    Google Scholar 

  19. F. Jahanian, R. Lee, A. Mok: Semantics of Modechart in Real Time Logic, Proc. 21st Hawaii Int. Conf. on System Sciences, pp. 479–489, (1988)

    Google Scholar 

  20. F. Vahid, S. Narayan, D. Gajski: SpecCharts: A Language for System Level Specification and Synthesis, Technical Report #90–19, Univ. of California, Irvine, (1990)

    Google Scholar 

  21. E Maraninchi: Operational and Compositional Semantics of Synchronous Automaton Compositions, LNCS 630, Springer-Verlag, pp. 550–564, (1992)

    Google Scholar 

  22. M. Franklin, A. Gabrielian: Multi-Level Specification and Verification of Real-Time Software, Proc.12th Int. Conf. on Software Engineering, pp. 52–62, (1990)

    Google Scholar 

  23. D. Harel, A. Pnueli: On the development of reactive systems in: Logics and Models of Concurrent Systems, ed. by K. Apt, Springer-Verlag, pp. 477–498, (1985)

    Chapter  Google Scholar 

  24. J. Bergerand, P. Caspi, N. Halbwachs: Outline of a real-time data flow language, Proc. IEEE-CS Real-Time Systems Symposium, San Diego, (1985)

    Google Scholar 

  25. G. Berry, L. Cosserat: The ESTEREL Synchronous Programming Language and its Mathematical Semantics, ENSMP, Centre de Mathématiques Appliquées, Sophia-Antipolis, 06565 Valbonne, France, (1985)

    Google Scholar 

  26. R. Alur, D. Dill: Automata for modeling real-time systems, Proc. 17th ICALP, LNCS 443, pp. 322–335, Springer-Verlag, (1990)

    Google Scholar 

  27. R. Koymanns, R. Shyamasundar, W. de Roever, R. Gerth, S. Arun-Kumar: Compositional semantics for real-time distributed computing, Proc. of Logics of Programs, LNCS 193, Springer-Verlag, pp. 167–190, (1985)

    Google Scholar 

  28. T. Henzinger, Z. Manna, A. Pnueli: Timed Transition Systems, LNCS 600, Springer-Verlag, pp. 226–251, (1992)

    Google Scholar 

  29. B. Melhart, N. Leveson, M. Jaffe: Analysis Capabilities for Requirements Specified in Statecharts, Technical Report, University of California, Irvine, (1988)

    Google Scholar 

  30. A. Classen: Modulare Statecharts: Ein formaler Rahmen zur hierarchischen Prozeßspezifikation, Master Thesis, Lehrstuhl für Informatik II, Technical University of Aachen, (1993)

    Google Scholar 

  31. W. Bruyn, R. Jensen, D. Keskar, P. Ward: ESML: An Extended Systems Modelling Language based on the Data Flow Diagram, Software Engineering Notes, vol.13, no.l, pp. 58–67, (1988)

    Google Scholar 

  32. R. France: Semantically Extended Data Flow Diagrams: A Formal Specification Tool, IEEE Transact. on SE, vol. 18, no. 4, pp. 329–346, (1992)

    Google Scholar 

  33. M. Woodman: Yourdon dataflow diagrams: a tool for disciplined requirements analysis, Information and Software Technology, vol. 30, no. 9, pp. 515–533, (1988)

    Article  Google Scholar 

  34. G. Bruno, G. Manchetto: Process-Translatable Petri Nets for the Rapid Prototyping of Process Control Systems,IEEE Transact. on SE, vol. 12, no. 2, pp. 346–357,(1986)

    Google Scholar 

  35. M. Halsmann: Prototyping komplexer Softwaresysteme, pp. 28–32, Teubner, (1990)

    Google Scholar 

  36. E Etessami, G. Hura: Rule-based Design Methodology for Solving Control Problems, IEEE Trans. on Software Eng., vol. 17, no. 3, pp. 274–282, (1991)

    Article  Google Scholar 

  37. G. Genrich, K. Bautenbach: System modeling with high level Petri nets, Theoret. Comput. Sci., vol. 13, pp. 109–136, (1981)

    MathSciNet  MATH  Google Scholar 

  38. W. Zuberek: Timed Petri nets and preliminary performance evaluation, IEEE Proc. 17th Annu. Symp. Computer Architecture, pp. 89–96, (1980)

    Google Scholar 

  39. R. Venken. Bruynooghe: Prolog as a Language of Prototyping of Information Systems, in: Approaches to Prototyping, ed. by R. Budde, K. Kuhlenkamp, L. Matthiassen, H. Züllighoven, Springer-Verlag, (1984)

    Google Scholar 

  40. T. Goble: Structured systems analysis through Prolog, Prentice-Hall, (1989)

    Google Scholar 

  41. R. Koymans: Specifying real-time properties with metric temporal logic, The Journal of Real-Time Systems, vol. 2, pp. 255–299, (1990)

    Article  Google Scholar 

  42. R. Alur. Techniques for Automatic Verification of Real-Time Systems, Ph.D. Thesis, Stanford University, Stanford, California, USA, (1991)

    Google Scholar 

  43. S. Schneider, J. Davies, D. Jackson, G. Reed, J. Reed, A. Roscoe: Timed CSP: Theory and Practice, LNCS 600, Springer-Verlag, pp. 640–675, (1992)

    Google Scholar 

  44. X. Nicollin, J. Sifakis: The algebra of timed processes ATP: theory and application, Technical Report RT-C26, LGI-IMAG, Grenoble, France, (1990)

    Google Scholar 

  45. E Jahanian, A. Mok: Safety Analysis of Timing Properties in Real-Time Systems, IEEE Transactions on Software Engineering, vol. 12, no. 9, pp. 890–904, (1986)

    Google Scholar 

  46. M. von der Beeck: Integration of Structured Analysis and Timed Statecharts for Real-Time and Concurrency Specification,Aachener Informatik-Berichte, Technical University of Aachen, No. 92–26, Technical Report, (1992)

    Google Scholar 

  47. C. Kohring: Ein flexibler Interpreter fur ausfuhrbare Anforderungsdokumente, Proc. Requirements Engineering `93 - Prototyping, Bonn, Teubner, (1993)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Lehrstuhl für Informatik III, Technical University of Aachen, Ahornstr. 55, W-5100, Aachen, Germany

    Michael von der Beeck

Authors
  1. Michael von der Beeck
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Universität Hamburg, Deutschland

    Heinz Züllighoven

  2. Kölsch & Altmann, München, Deutschland

    Werner Altmann

  3. Universität GH Essen, Deutschland

    Ernst-Erich Doberkat

Rights and permissions

Reprints and permissions

Copyright information

© 1993 B. G. Teubner Stuttgart

About this chapter

Cite this chapter

von der Beeck, M. (1993). Improving Structured Analysis — Achieving Preciseness, Executability, and Real-Time Specification. In: Züllighoven, H., Altmann, W., Doberkat, EE. (eds) Requirements Engineering ’93: Prototyping. Berichte des German Chapter of the ACM. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-322-94703-1_16

Download citation

  • DOI: https://doi.org/10.1007/978-3-322-94703-1_16

  • Publisher Name: Vieweg+Teubner Verlag, Wiesbaden

  • Print ISBN: 978-3-519-02682-2

  • Online ISBN: 978-3-322-94703-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation