Skip to main content
SpringerLink
Log in

Integration of structured analysis and timed statecharts for real-time and concurrency specification

  • Conference paper
  • First Online:
Software Engineering — ESEC '93 (ESEC 1993)

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

Included in the following conference series:

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 always express concurrent control clearly, it lacks in specifying real-time constraints, 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 control flow types and data flow attributes, use finite automata for defining precise semantics of data and control processes, and develop a table specifying the activation condition of a data process.

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. 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 & 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, IEE 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. Y. Kesten, A. Pnueli: Timed and Hybrid Statecharts and their Textual Representation, LNCS 571, Springer-Verlag, pp. 591–620, (1992)

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    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. 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 

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

    Google Scholar 

  20. 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 

  21. 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)

    Google Scholar 

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

    Google Scholar 

  23. 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 

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

    Google Scholar 

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

    Google Scholar 

  26. 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 

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

    Google Scholar 

  28. 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 

  29. 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.1, pp. 58–67, (1988)

    Google Scholar 

  30. 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 

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

    Google Scholar 

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

    Google Scholar 

  33. 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 

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

    Google Scholar 

  35. F. 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 

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

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Lehrstuhl für Informatik III, Technical University of Aachen, Ahornstr. 55, 52056, 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

Ian Sommerville Manfred Paul

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

von der Beeck, M. (1993). Integration of structured analysis and timed statecharts for real-time and concurrency specification. In: Sommerville, I., Paul, M. (eds) Software Engineering — ESEC '93. ESEC 1993. Lecture Notes in Computer Science, vol 717. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57209-0_22

Download citation

  • DOI: https://doi.org/10.1007/3-540-57209-0_22

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57209-1

  • Online ISBN: 978-3-540-47972-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation