Skip to main content
SpringerLink
Log in

Formalisierung und visuelle Modellierung am Beispiel der UML-Statecharts

  • Conference paper
Informatik ’98

Part of the book series: Informatik aktuell ((INFORMAT))

  • 113 Accesses

Zusammenfassung

Das Motiv dieser Arbeit ist eine möglichst einfache formale Beschreibung visueller Ausdrucksmittel am Beispiel der Harel’sehen Statecharts. Diese bieten ein mächtiges Modellierungswerkzeug zur Spezifikation reaktiver Systeme und sind als Notation für die Zustandsdiagramme der Unified Modelling Language (UML) wichtig. Darüber hinaus sind sie gut beschrieben. Der Vergleich der hier skizzierten formalen Beschreibung, die zusammen mit einem Editor für Statecharts entwickelt wurde, mit der State-chart-Beschreibung der UML (Version 1.1) zeigt einige Abweichungen und Lücken auf, deren Interpretation diskutiert wird.

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 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.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.

Literatur

  1. Booch, G.: Object Oriented Analysis and Design, 2nd Edition, Benjamin/Cummings, Redwood City CA, 1994.

    Google Scholar 

  2. Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F., Lorensen, W.: Object-Oriented Modeling and Design, Prentice Hall, Englewood Cliffs NJ, 1991.

    Google Scholar 

  3. Day, N.: A Model Checker for Statecharts (Linking CASE Tools with Formal Methods), TR 93–35, Univ. of British Columbia, Vancouver Canada, 1993.

    Google Scholar 

  4. Matejka, F.: Ein Ansatz zur Formalisierung und Werkzeugunterstützung von Statecharts im Rahmen der Unified Modeling Language. Diplomarbeit, Univ. Salzburg, Institut für Com-puterwissenschaften, http://www.edvz.sbg.ac.at/~mafr/home.htm, Februar 1998.

    Google Scholar 

  5. Harel, D.: „On Visual Formalisms“. Comm. ACM, Vol.31 Nr.5 Seiten 514–530, 1988.

    Google Scholar 

  6. Harel, D., Gery, E.: “Executable Object Modeling with Statecharts”, IEEE Comp., 1997.

    Google Scholar 

  7. Harel, D., Naamad, A.: „The STATEMATE Semantics of Statecharts“, ACM Trans, on Software Eng. and Methodology, Vol. 5, No. 4, Seiten 293–333, October 1996.

    Google Scholar 

  8. Leveson, N., Heimdahl, M., Hildreth, H., Reese, J.: „Requirements specification for process-control systems“, IEEE Trans. on Software Eng.. Vol. 20, No. 9, 684–707, 1995.

    Article  Google Scholar 

  9. Rumbaugh, J.: „To form a more perfect union: Unifying the OMT and Booch methods“, Journal of Object Oriented Programming, pp. 14–18, January 1996.

    Google Scholar 

  10. http://www.omg.org/. Object Management Group.

    Google Scholar 

  11. UML Documentation Set, Version 1.1, Rational Software Corporation, Septemper 1997.

    Google Scholar 

  12. UML Semantics, Version 1.1, Rational Software Corporation, Septemper 1997.

    Google Scholar 

  13. Pnueli, A., Shalev, M.: „What is in a step: On the semantics of statecharts“. Proc. of the Symposium on Theoretical Aspects of Computer Software, LNCS Vol. 526, Springer, Berlin, Seiten 244–264, 1991.

    Google Scholar 

  14. Nazareth, D., Regensburger, F., Scholz, P.: Mini -Statecharts: A Lean Version of State- charts, TU München, Institut für Informatik, TUM-I9610, Februar 1996.

    Google Scholar 

  15. von der Beek, M.: “A comparison of Statechart variants”, In Formal Techniques in Real- Time and Fault-Tolerant Systems, LNCS Vol.863, Springe, NY, Seiten 128–148, 1994.

    Google Scholar 

  16. Harel, D.: „Statecharts: A Visual Formalism for Complex Systems“, Science of Computer Programming, Seiten 231–274, 1987.

    Google Scholar 

  17. Harel, D., Pnueli, A., Schmidt, J., Sherman, R.: “On the formal semantics of statecharts”, In Proc. First IEEE Symp. on Logic in Comp. Sc., pp 54–64, 1986.

    Google Scholar 

  18. Huizing, C., Gerth, R.: On the Semantics of Reactive Systems, Department of Mathematics and Computer Science, Eindhoven Univ. of Technology, January 1991.

    Google Scholar 

  19. Maraninchi, F.: Operational and Compositional Semantics of Synchronous Automaton Compositions: LNCS, vol.650, Springer-Verlag, Berlin, Seiten 550–564, 1992.

    Google Scholar 

  20. Selic, B.: High-Performance Implementations from ROOM Models, ObjecTime Limited, Kanata, Ontario Canada, http://www.objectime.com/, 1995.

    Google Scholar 

  21. Martin, R.: The Care and Feeding of The State Map Compiler, R.C.M. Consulting Inc., June 1993.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Computerwissenschaften, Universität Salzburg, Jakob Haringer Straße 2, A-5020, Salzburg, Österreich

    Franz Matejka & Andreas Schwald

Authors
  1. Franz Matejka
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Andreas Schwald
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Wissens- und Sprachverarbeitung Fakultät für Informatik, Otto-von-Guericke-Universität Magdeburg, Universitätsplatz 2, D-39106, Magdeburg, Germany

    Jürgen Dassow  & Rudolf Kruse  & 

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Matejka, F., Schwald, A. (1998). Formalisierung und visuelle Modellierung am Beispiel der UML-Statecharts. In: Dassow, J., Kruse, R. (eds) Informatik ’98. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-72283-7_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-72283-7_13

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-64938-0

  • Online ISBN: 978-3-642-72283-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation