Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Modellierung Verteilter Systeme: Konzeption, Formale Spezifikation Und Verifikation Mit Produktnetzen

Modellierung Verteilter Systeme: Konzeption, Formale Spezifikation Und Verifikation Mit Produktnetzen

Ochsenschläger, Peter

Paperback

Series: Programm Angewandte Informatik

Technology & EngineeringGeneral Computers

ISBN10: 3528054336
ISBN13: 9783528054335
Publisher: Springer Nature
Published: Jan 1 1995
Pages: 280
Weight: 0.78
Height: 0.62 Width: 5.83 Depth: 8.27
Language: German
Hinter dem Begriff Verteilte Systeme verbergen sich heutzutage so unterschiedliche Konzepte wie Parallelrechner, Rechnernetze, Telekooperation und Multimediaanwendungen. Hauptanwen- dungsfeld in diesem Buch ist die Telekooperation. Der Begriff Verteiltes System, so wie er in diesem Buch verwendet wird, lä t sich informell - und in der Sprechweise der Tele- kooperation -charakterisieren durch: - Kooperationspartner (Menschen und/oder Maschinen, allgemein autonome Systeme genannt), - Kooperationsziele, deren Erreichen gemeinsames Handeln der beteiligten Kooperationspartner erfordert (beispielsweise Abschlu eines Vertrags, Erarbeitung einer Spezifikation für ein technisches System, Fernwartung eines Systems, ... ) und - Komm unika tionsmedien, die Kooperationspartner miteinander verbinden (z. B. zum Transport von Sprach-, Bild-, oder Text- information). Der Transport von Information aus Sicht eines Kommunikations- mediums ist gekennzeichnet durch die Funktionen Senden, Über- tragen, Vermitteln und Empfangen. Aus Sicht der Kooperations- partner sind die Produktion der zu sendenden und die Konsumtion der empfangenen Information wichtige Begriffe. Kommunikationsmedien erbringen Kommunikationsdienst- leistungen, die von den Kooperationspartnern in Anspruch genommen werden können. Zu den Eigenschaften verteilter Systeme gehören - Unsicherheit eines autonomen Systems über den Zustand der anderen an der Kooperation beteiligten autonomen Systeme, - Nebenläufigkeit und Nichtdeterminismus der Aktionen der autonomen Systeme als Ausflug ihrer Unabhängigkeit, 2 1 Einleitun[!, - Synchronisation ihrer Aktionen als Anforderung aus dem festgelegten Kooperationsziel, - aufeinander abgestimmte Betriebsmittelverwaltung (z. B. Puffer- verwaltung von Sender und Empfänger), - aufeinander abgestimmte Mechanismen zur Fehlererkennung und Fehlerbehebung, u. s. w.

Also in

General Computers

View All