From MSCS to Statecharts

  • Ingolf Krüger
  • Radu Grosu
  • Peter Scholz
  • Manfred Broy
Chapter
Part of the IFIP — The International Federation for Information Processing book series (IFIPAICT, volume 25)

Abstract

We present a first step towards a seamless integration of MSCS into the system development process. In particular, we show how scenario-based system requirements, captured in the early system analysis phase using MSCS, are translated into state-based description techniques like Statecharts. To this end, we sketch a schematic integration of MSCS and Statecharts.

Keywords

Unify Modeling Language Semantic Model Parallel Composition Software Development Process Hierarchic Decomposition 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Download to read the full chapter text

References

  1. [BGK98]
    Manfred Broy, Radu Grosu, and Ingolf Krüger. Deutsche Patentanmeldung, Aktenzeichen 198 37 871. 8, 1998.Google Scholar
  2. [BHKS97]
    Manfred Broy, Christoph Hofmann, Ingolf Krüger, and Monika Schmidt. Using extended event traces to describe communication in software architectures. In Asia-Pacific Software Engineering Conference and International Computer Science Conference, Hong Kong. IEEE Computer Society, 1997.Google Scholar
  3. [BMR+96]
    F. Buschmann, R. Meunier, H. Rohnert, P. Sommerlad, and M. Stal. A System of Patterns. Pattern-Oriented Software Architecture. Wiley, 1996.Google Scholar
  4. [Boe86]
    B. Boehm. A spiral model of software development and enhancement. ACM SIG-SOFT, pages 14 — 24, August 1986.Google Scholar
  5. [Boe88]
    B. Boehm. A spiral model of software development and enhancement. IEEE Computer, pages 61–72, May 1988.Google Scholar
  6. [Har87]
    D. Harel. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming, 8: 231–274, 1987.MathSciNetCrossRefMATHGoogle Scholar
  7. [HU93]
    J. E. Hoperoft and J. D. Ullman. Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie. Addison Wesley, 2. korrigierter Nachdruck, 1993.Google Scholar
  8. [IT96]
    ITU-TS. Recommendation Z.120: Message Sequence Chart (MSC). Geneva, 1996.Google Scholar
  9. [IT98]
    ITU-TS. Recommendation Z.120: Annex B. Geneva, 1998.Google Scholar
  10. [Rot97]
    Unified modeling language, version 1.1. Rational Software Corporation, 1997.Google Scholar
  11. [Roy70]
    W.W. Royce. Managing the development of large software systems. IEEE WESCON, pages 1–9, August 1970.Google Scholar
  12. [Sch98a]
    P. Scholz. A Refinement Calculus for Statecharts. In Proceedings of the ETAPS/FASE’98, Lisbon (Portugal), March 30 - April 03, 1998, volume 1382 of Lecture Notes in Computer Science. Springer, 1998.Google Scholar
  13. [Sch98b]
    P. Scholz. Design of Reactive Systems and their Distributed Implementation with Statecharts. Ph.D. thesis, Technische Universität München, 1998.Google Scholar
  14. [V97]
    Entwicklungsstandard für IT-Systeme des Bundes, Vorgehensmodell. Allgemeiner Umdruck Nr. 250/1. Juni 1997, BWB IT I5.Google Scholar

Copyright information

© Springer Science+Business Media New York 1999

Authors and Affiliations

  • Ingolf Krüger
    • 1
  • Radu Grosu
    • 1
  • Peter Scholz
    • 1
  • Manfred Broy
    • 1
  1. 1.Institut für InformatikTechnische Universität MünchenMünchenGermany

Personalised recommendations