Skip to main content
SpringerLink
Log in

Ein denotationales Modell für parallele objektbasierte Systeme

  • Textbook
  • © 1997

Overview

Authors:
  1. Holger Naundorf

    1. Universität-Gesamthochschule Paderborn, Deutschland

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: MuPad Reports (MPREP)

  • 429 Accesses

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 49.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 44.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

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (16 chapters)

  1. Front Matter

    Pages i-xii
    Download chapter PDF

  2. Einleitung

    1. Einleitung

      • Holger Naundorf
      Pages 1-6

  3. Ein allgemeines Modell für objektbasierte Systeme

    1. Front Matter

      Pages 7-9
      Download chapter PDF

    2. Allgemeines Design

      • Holger Naundorf
      Pages 10-14

    3. Definitionen

      • Holger Naundorf
      Pages 15-19

    4. Ein-/Ausgabebeschreibungen

      • Holger Naundorf
      Pages 20-52

    5. Methoden zur Beschreibung von Objekten

      • Holger Naundorf
      Pages 53-58

    6. Objektbasierte Systeme

      • Holger Naundorf
      Pages 59-77

    7. Weitere Methoden zur Beschreibung von Objekten

      • Holger Naundorf
      Pages 78-86

    8. Komposition

      • Holger Naundorf
      Pages 87-89

    9. Zerlegung objektbasierter Systeme

      • Holger Naundorf
      Pages 90-92

    10. Anwendung von gMobS

      • Holger Naundorf
      Pages 93-105

    11. Einordnung

      • Holger Naundorf
      Pages 106-108

  4. Eine denotationale Semantik für MuPAD

    1. Front Matter

      Pages 109-111
      Download chapter PDF

    2. Überblick

      • Holger Naundorf
      Pages 112-114

    3. Nachrichten

      • Holger Naundorf
      Pages 115-119

    4. Beschreibung eines Clusters

      • Holger Naundorf
      Pages 120-129

    5. Die Semantik von MuPAD

      • Holger Naundorf
      Pages 130-132

    6. Zusammenfassung

      • Holger Naundorf
      Pages 133-134

  5. Back Matter

    Pages 135-186
    Download chapter PDF
Back to top

Keywords

About this book

In den letzten Jahren hat sich immer mehr herauskristallisiert, daß objektbasierte Sprachen sehr gut zur Beschreibung fast aller Arten von Problemen geeignet sind. Um die Semantik von objektbasierten Sprachen beschreiben zu können, benötigt man ein entsprechendes Modell. Die für sequentielle objektbasierte Sprachen benutzten abstrakten Datentypen sind für parallele Sprachen nicht mächtig genug. In diesem Buch wird das sehr allgemeine denotationale Modell gMobS für objektbasierte Systeme eingeführt, das auch Zeit beinhaltet und hybride Systeme, also sowohl Programme als auch die Umwelt, modellieren kann. Dieses Modell wird benutzt, um die Semantik des Computer-Algebra-Systems MuPAD in Grundzügen zu beschreiben. Weiterhin werden die sehr mächtigen objektorientierten Eigenschaften von MuPAD erläutert. Inhaltsverzeichnis 1 Einleitung I Ein allgemeines Modell für objektbasierte Systeme 2 Allgemeines Design - 3 Definitionen - 4 Ein-/Ausgabebeschreibungen - 5 Methoden zur Beschreibung von Objekten - 6 Objektbasierte Systeme - 7 Weitere Methoden zur Beschreibung von Objekten - 8 Komposition - 9 Zerlegung objektbasierter Systeme - 10 Anwendung von gMob5 - 11 Einordnung II Eine denotationale Semantik für MuPAD 12 - Überblick - 13 Nachrichten - 14 Beschreibung eines Clusters - 15 Die Semantik von MuPAD - 16 Zusammenfassung A Definitionen / B Kurze MuPAD-Einführung / C Parallelität in MuPAD / D Objektorientiertheit in MuPAD Abbildungszeichnis / Tabellenverzeichnis. "... Es wird hier der prinzipielle Aufbau des Systems und das funktionale Zusmmenspiel der MuPAD-Datenstrukturen erläutert, was jedoch schon einen tiefen Einblick in den MuPAD-Kern gestattet und die Leistungsfähigkeit von gMobS eindrucksvoll beweist." R. Horsch, Zeitschrift für Mathematik, Berlin

Authors and Affiliations

  • Universität-Gesamthochschule Paderborn, Deutschland

    Holger Naundorf

Bibliographic Information

  • Book Title: Ein denotationales Modell für parallele objektbasierte Systeme

  • Authors: Holger Naundorf

  • Series Title: MuPad Reports

  • DOI: https://doi.org/10.1007/978-3-322-94700-0

  • Publisher: Vieweg+Teubner Verlag Wiesbaden

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer Fachmedien Wiesbaden 1997

  • Softcover ISBN: 978-3-519-02197-1Published: 01 November 1996

  • eBook ISBN: 978-3-322-94700-0Published: 17 April 2013

  • Edition Number: 1

  • Number of Pages: XII, 186

  • Number of Illustrations: 1 b/w illustrations

  • Topics: Engineering, general

Publish with us

Policies and ethics

Back to top

Search

Navigation