Skip to main content
Erschienen in:
Buchtitelbild

2012 | OriginalPaper | Buchkapitel

1 Services

verfasst von : Hartmut König

Erschienen in: Protocol Engineering

Verlag: Springer Berlin Heidelberg

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Computer networks provide services. These services allow us to exchange data, programs, music files, pictures, movies or other documents. They can be used to download programs, to start them remotely, to update remote data bases, or to access web sites; they can also help users to communicate with others partners, and much more. The term service is of fundamental importance for the understanding of the processes in computer networks. It is closely related to the term protocol and represents an essential element for their description, validation, and use. This chapter deals with services. We start with a short overview of the different kinds of services. Thereafter we introduce the model of a communication service and present the basic concepts for its formal description using a model language. Finally we describe the service provided by our example protocol XDT and give a formal description of it using the model language.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
Computers in a network environment are usually called hosts.
 
2
The variant of the connection set up described here is called explicit connection set up. The complement is the implicit connection set up which allows the data transmission to start before the connection set up has been confirmed. It will be considered in Section 5.​3.​1.
 
3
. The subscripts 1 and L indicate the first and the last service primitive of the transmission, respectively.
 
Literatur
[Clar 00]
Zurück zum Zitat Clarke, E.; Grumberg, O.; Peled, D.: Model Checking. MIT Press, Cambridge, 2000. Clarke, E.; Grumberg, O.; Peled, D.: Model Checking. MIT Press, Cambridge, 2000.
[ISO 8072]
Zurück zum Zitat ISO, Information Processing Systems - Open Systems Interconnection – Transport Service Definition. IS 8072, 1986. ISO, Information Processing Systems - Open Systems Interconnection – Transport Service Definition. IS 8072, 1986.
[Kuro 08]
Zurück zum Zitat Kurose, J. F.; Ross, K. W.: Computer Networking. Pearson Education, 2008. Kurose, J. F.; Ross, K. W.: Computer Networking. Pearson Education, 2008.
[Pete 07]
Zurück zum Zitat Peterson, L.L., Davie, B. S.: Computer Networks. A Systems Approach (Morgan Kaufmann Series in Networking), Elsevier, 2007. Peterson, L.L., Davie, B. S.: Computer Networks. A Systems Approach (Morgan Kaufmann Series in Networking), Elsevier, 2007.
[Stal 08]
Zurück zum Zitat Stallings, W.: Data and Computer Communications (8th edition). Prentice Hall, Upper Saddle River, 2008. Stallings, W.: Data and Computer Communications (8th edition). Prentice Hall, Upper Saddle River, 2008.
[Tane 02]
Zurück zum Zitat Tanenbaum, A.S.; van Steen, M.: Distributed Systems - Principles and Paradigms. Prentice Hall, Upper Saddle River, 2002. Tanenbaum, A.S.; van Steen, M.: Distributed Systems - Principles and Paradigms. Prentice Hall, Upper Saddle River, 2002.
[Tane 10]
Zurück zum Zitat Tanenbaum, A. S.; Wetherall, D.J.: Computer Networks (5th ed.). Pearson Education, Upper Saddle River, 2010. Tanenbaum, A. S.; Wetherall, D.J.: Computer Networks (5th ed.). Pearson Education, Upper Saddle River, 2010.
Metadaten
Titel
1 Services
verfasst von
Hartmut König
Copyright-Jahr
2012
Verlag
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-642-29145-6_1