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.
Chapter PDF
Similar content being viewed by others
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.
References
Manfred Broy, Radu Grosu, and Ingolf Krüger. Deutsche Patentanmeldung, Aktenzeichen 198 37 871. 8, 1998.
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.
F. Buschmann, R. Meunier, H. Rohnert, P. Sommerlad, and M. Stal. A System of Patterns. Pattern-Oriented Software Architecture. Wiley, 1996.
B. Boehm. A spiral model of software development and enhancement. ACM SIG-SOFT, pages 14 — 24, August 1986.
B. Boehm. A spiral model of software development and enhancement. IEEE Computer, pages 61–72, May 1988.
D. Harel. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming, 8: 231–274, 1987.
J. E. Hoperoft and J. D. Ullman. Einführung in die Automatentheorie, Formale Sprachen und Komplexitätstheorie. Addison Wesley, 2. korrigierter Nachdruck, 1993.
ITU-TS. Recommendation Z.120: Message Sequence Chart (MSC). Geneva, 1996.
ITU-TS. Recommendation Z.120: Annex B. Geneva, 1998.
Unified modeling language, version 1.1. Rational Software Corporation, 1997.
W.W. Royce. Managing the development of large software systems. IEEE WESCON, pages 1–9, August 1970.
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.
P. Scholz. Design of Reactive Systems and their Distributed Implementation with Statecharts. Ph.D. thesis, Technische Universität München, 1998.
Entwicklungsstandard für IT-Systeme des Bundes, Vorgehensmodell. Allgemeiner Umdruck Nr. 250/1. Juni 1997, BWB IT I5.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media New York
About this chapter
Cite this chapter
Krüger, I., Grosu, R., Scholz, P., Broy, M. (1999). From MSCS to Statecharts. In: Rammig, F.J. (eds) Distributed and Parallel Embedded Systems. DIPES 1998. IFIP — The International Federation for Information Processing, vol 25. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35570-2_5
Download citation
DOI: https://doi.org/10.1007/978-0-387-35570-2_5
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5006-5
Online ISBN: 978-0-387-35570-2
eBook Packages: Springer Book Archive