Skip to main content
SpringerLink
Log in

Interaktionsdiagramme mit Datenspezifikation zur Darstellung verteilter Systeme

  • Conference paper
Informatik 2000

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

  • 92 Accesses

Zusammenfassung

Wir definieren n-Agenten-Diagramme zur graphischen Spezifikation verteilter Systeme. Diese Diagramme basieren auf den Sequenzdiagrammen von UML, erweitern diese aber um die Darstellung von Datentransformationen und Gültigkeitsbereichen von Bezeichnern. Weiterhin enthalten sie spezielle Varianten von Auswahloperationen und Schleifen für die Verwendung in verteilten Systemen.

Gefördert im Rahmen des Projekts Go 671/2-2 Entwurf reaktiver Systeme der Deutschen Forschungsgemeinschaft.

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 64.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 82.00
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. Grady Booch, James Rumbaugh, Ivar Jacobson. The Unified Modeling Language User Guide. Addison-Wesley, 1998.

    Google Scholar 

  2. Tom DeMarco. Structured Analysis and Systems Specification. Prentice Hall, 1979.

    Google Scholar 

  3. Wan Fokkink. Introduction to Process Algebra. Springer, 2000.

    MATH  Google Scholar 

  4. Thomas Gehrke. Dynamische Modelle für reaktive Systeme mit Daten. Dissertation, Technische Universität Braunschweig, Institut für Software, Abteilung Programmierung, 2000.

    Google Scholar 

  5. Thomas Gehrke, Ursula Goltz, Heike Wehrheim. Zur semantischen Analyse der dynamischen Modelle von UML mit Petri-Netzen. In E. Schnieder (Hrsg.), Tagungsband der 6. Fachtagung „Entwicklung und Betrieb komplexer Automatisierung s systeme”, S. 547–566. Braunschweig, 1999.

    Google Scholar 

  6. Thomas Gehrke, Michaela Huhn, Arend Rensink, Heike Wehrheim. An Algebraic Semantics for Message Sequence Chart Documents. In Stan Budkowski, Ana Cavalli, Elie Najm (Hrsg.), Proceedings of FORTE/PSTV’98, S. 3–18. Kluwer Academic Press, 1998.

    Google Scholar 

  7. Thomas Gehrke, Arend Rensink. A Mobile Calculus with Data. Technischer Bericht 99–04, Technische Universtität Braunschweig, Institut für Software, Abteilung Programmierung, Oktober 1999. Erhältlich unter http://www.es.tu-bs.de/ips/gehrke/publications.html.

    Google Scholar 

  8. C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.

    MATH  Google Scholar 

  9. Douglas R. Hofstadter. Metamagicum — Fragen nach der Essenz von Geist und Struktur. Klett—Cotta, 1988.

    Google Scholar 

  10. International Telecommunication Union ITU. Message Sequence Chart (MSC). Standard ITU-T Z.120, 1996.

    Google Scholar 

  11. International Telecommunication Union ITU. Message Sequence Chart (MSC). Standard ITU-T Z.120 (Annex B), 1996.

    Google Scholar 

  12. International Telecommunication Union ITU. MSC 2000. Standard ITU-T Z.120, November 1999.

    Google Scholar 

  13. [Mil89] Robin Milner. Communication and Concurrency. Prentice Hall, 1989.

    Google Scholar 

  14. Robin Milner, Joachim Parrow, David Walker. A Calculus of Mobile Processes, Part I+II. Information and Computation, 100, 1992.

    Google Scholar 

  15. S. Mauw, M.A. Reniers. High-level Message Sequence Charts. In Proceedings of SDL’97:Time for Testing — SDL, MSC and Trends. Elsevier, 1997.

    Google Scholar 

  16. Object Management Group OMG. Unified Modeling Language Specification. Technischer Bericht, Version 1.3 R9, 1999.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Software, Abteilung Programmierung, Technische Universität Braunschweig, Gaußstraße 11, 38106, Braunschweig, Deutschland

    Thomas Gehrke

Authors
  1. Thomas Gehrke
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Fachbereich Informatik, Universität des Saarlandes, Am Stadtwald, 66123, Saarbrücken, Deutschland

    Kurt Mehlhorn

  2. Lehrstuhl für Softwaresysteme Fakultät für Mathematik und Informatik, Universität Passau, Innstraße 33, 94032, Passau, Deutschland

    Gregor Snelting

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gehrke, T. (2000). Interaktionsdiagramme mit Datenspezifikation zur Darstellung verteilter Systeme. In: Mehlhorn, K., Snelting, G. (eds) Informatik 2000. Informatik aktuell. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-58322-3_31

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-58322-3_31

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67880-9

  • Online ISBN: 978-3-642-58322-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation